乐胖代购免代理版

{"id":"https://openalex.org/W2945698810","doi":"https://doi.org/10.1145/3316781.3323469","title":"Actors Revisited for Time-Critical Systems","display_name":"Actors Revisited for Time-Critical Systems","publication_year":2019,"publication_date":"2019-05-23","ids":{"openalex":"https://openalex.org/W2945698810","doi":"https://doi.org/10.1145/3316781.3323469","mag":"2945698810"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3316781.3323469","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3316781.3323469","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3316781.3323469","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019424497","display_name":"Marten Lohstroh","orcid":"https://orcid.org/0000-0001-8833-4117"},"institutions":[{"id":"https://openalex.org/I134446601","display_name":"Berkeley College","ror":"https://ror.org/02xewxa75","country_code":"US","type":"education","lineage":["https://openalex.org/I134446601"]},{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marten Lohstroh","raw_affiliation_strings":["UC Berkeley, USA"],"affiliations":[{"raw_affiliation_string":"UC Berkeley, USA","institution_ids":["https://openalex.org/I134446601","https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083205602","display_name":"Martin Schoeberl","orcid":"https://orcid.org/0000-0003-2366-382X"},"institutions":[],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Martin Schoeberl","raw_affiliation_strings":["TU Denmark, Denmark"],"affiliations":[{"raw_affiliation_string":"TU Denmark, Denmark","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045703198","display_name":"Andr\u00e9s Goens","orcid":"https://orcid.org/0000-0002-0409-1363"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"TU Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andr\u00e9s Goens","raw_affiliation_strings":["TU Dresden, Germany"],"affiliations":[{"raw_affiliation_string":"TU Dresden, Germany","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026247639","display_name":"Armin Wasicek","orcid":"https://orcid.org/0000-0002-2052-1343"},"institutions":[],"countries":["US"],"is_corresponding":false,"raw_author_name":"Armin Wasicek","raw_affiliation_strings":["Avast, USA"],"affiliations":[{"raw_affiliation_string":"Avast, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076029698","display_name":"Christopher Gill","orcid":"https://orcid.org/0000-0003-0366-8586"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christopher Gill","raw_affiliation_strings":["Washington Univ., St. Louis, USA"],"affiliations":[{"raw_affiliation_string":"Washington Univ., St. Louis, USA","institution_ids":["https://openalex.org/I204465549"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078919695","display_name":"Marjan Sirjani","orcid":"https://orcid.org/0000-0001-5478-0987"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Marjan Sirjani","raw_affiliation_strings":["M\u00e4lardalen Univ., Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen Univ., Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5009831760","display_name":"Edward A. Lee","orcid":"https://orcid.org/0000-0002-5663-0584"},"institutions":[{"id":"https://openalex.org/I134446601","display_name":"Berkeley College","ror":"https://ror.org/02xewxa75","country_code":"US","type":"education","lineage":["https://openalex.org/I134446601"]},{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edward A. Lee","raw_affiliation_strings":["UC Berkeley, USA"],"affiliations":[{"raw_affiliation_string":"UC Berkeley, USA","institution_ids":["https://openalex.org/I134446601","https://openalex.org/I95457486"]}]}],"institution_assertions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.185,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":20,"citation_normalized_percentile":{"value":0.893468,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":92},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9995,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Software Verification and Control","score":0.9995,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9984,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Autonomic Computing and Self-Adaptive Systems","score":0.9983,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/aspect-oriented-programming","display_name":"Aspect-Oriented Programming","score":0.555279},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal Logic","score":0.543733},{"id":"https://openalex.org/keywords/probabilistic-systems","display_name":"Probabilistic Systems","score":0.523527},{"id":"https://openalex.org/keywords/system-level-design","display_name":"System-Level Design","score":0.50098}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.78818},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.66848534},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45912373},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.45628318},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.417743},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4142732},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34995112},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22067818}],"mesh":[],"locations_count":3,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3316781.3323469","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3316781.3323469","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://orbit.dtu.dk/en/publications/328eb2cb-de44-4662-96dc-6ca3e49f101f","pdf_url":"https://orbit.dtu.dk/files/199809293/actorsRevisited.pdf","source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":["Technical University of Denmark"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://backend.orbit.dtu.dk/ws/files/199809293/actorsRevisited.pdf","pdf_url":"https://backend.orbit.dtu.dk/ws/files/199809293/actorsRevisited.pdf","source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":["Technical University of Denmark"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/3316781.3323469","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3316781.3323469","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":22,"referenced_works":["https://openalex.org/W104124984","https://openalex.org/W133846551","https://openalex.org/W1528097116","https://openalex.org/W1584322803","https://openalex.org/W1598039485","https://openalex.org/W1805171086","https://openalex.org/W1969952687","https://openalex.org/W1972433423","https://openalex.org/W2033872646","https://openalex.org/W2060033172","https://openalex.org/W2063301303","https://openalex.org/W2072399294","https://openalex.org/W2131062488","https://openalex.org/W2153720569","https://openalex.org/W2165550854","https://openalex.org/W2202384966","https://openalex.org/W2536469272","https://openalex.org/W2793651583","https://openalex.org/W2904270635","https://openalex.org/W2963390429","https://openalex.org/W3043074253","https://openalex.org/W4256348170"],"related_works":["https://openalex.org/W598950423","https://openalex.org/W4292559016","https://openalex.org/W4256673449","https://openalex.org/W4231937131","https://openalex.org/W323219885","https://openalex.org/W2137821808","https://openalex.org/W2063928587","https://openalex.org/W1589342014","https://openalex.org/W1487966966","https://openalex.org/W1480341462"],"abstract_inverted_index":{"Programming":[0],"time-critical":[1],"systems":[2],"is":[3],"notoriously":[4],"difficult.":[5],"In":[6],"this":[7],"paper":[8],"we":[9],"propose":[10],"an":[11],"actor-oriented":[12],"programming":[13],"model":[14],"with":[15],"a":[16,22],"semantic":[17],"notion":[18],"of":[19,41],"time":[20],"and":[21,38],"deterministic":[23],"coordination":[24],"semantics":[25],"based":[26],"on":[27],"discrete":[28],"events":[29],"to":[30],"exercise":[31],"precise":[32],"control":[33],"over":[34],"both":[35],"the":[36,42],"computational":[37],"timing":[39],"aspects":[40],"system":[43],"behavior.":[44]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2945698810","counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":5}],"updated_date":"2024-11-27T23:34:59.166146","created_date":"2019-05-29"}