Matches in SemOpenAlex for { <https://semopenalex.org/work/W2763010816> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2763010816 abstract "Actor-based languages attract attention for their ability to scale to highly parallel architectures. Active objects combine the asynchronous communication of actors with object-oriented programming by means of asynchronous method calls and synchronization on futures. However, the combination of asynchronous calls and synchronization introduces communication cycles which lead to a form of communication deadlock. This paper addresses such communication deadlocks for ABS, a formally defined active object language which additionally supports cooperative scheduling to express complex distributed control flow, using first-class futures and explicit process release points. Our approach is based on a translation of the semantics of ABS into colored Petri nets, such that a particular program corresponds to a marking of this net. We prove the soundness of this translation and demonstrate by example how the implementation of this net can be used to analyze ABS programs with respect to communication deadlock." @default.
- W2763010816 created "2017-10-20" @default.
- W2763010816 creator A5017183107 @default.
- W2763010816 creator A5039414480 @default.
- W2763010816 creator A5053626863 @default.
- W2763010816 creator A5057395076 @default.
- W2763010816 creator A5058725359 @default.
- W2763010816 date "2017-01-01" @default.
- W2763010816 modified "2023-09-27" @default.
- W2763010816 title "Translating Active Objects into Colored Petri Nets for Communication Analysis" @default.
- W2763010816 cites W1530813957 @default.
- W2763010816 cites W1552467245 @default.
- W2763010816 cites W1565525547 @default.
- W2763010816 cites W1593343166 @default.
- W2763010816 cites W1604442026 @default.
- W2763010816 cites W172516910 @default.
- W2763010816 cites W1996936966 @default.
- W2763010816 cites W2021978684 @default.
- W2763010816 cites W2023408771 @default.
- W2763010816 cites W2031616527 @default.
- W2763010816 cites W2047239057 @default.
- W2763010816 cites W2098400709 @default.
- W2763010816 cites W2113731780 @default.
- W2763010816 cites W2119296217 @default.
- W2763010816 cites W2122948231 @default.
- W2763010816 cites W3023064319 @default.
- W2763010816 cites W4249484115 @default.
- W2763010816 cites W4249538237 @default.
- W2763010816 cites W4256363426 @default.
- W2763010816 doi "https://doi.org/10.1007/978-3-319-68972-2_6" @default.
- W2763010816 hasPublicationYear "2017" @default.
- W2763010816 type Work @default.
- W2763010816 sameAs 2763010816 @default.
- W2763010816 citedByCount "2" @default.
- W2763010816 countsByYear W27630108162017 @default.
- W2763010816 countsByYear W27630108162018 @default.
- W2763010816 crossrefType "book-chapter" @default.
- W2763010816 hasAuthorship W2763010816A5017183107 @default.
- W2763010816 hasAuthorship W2763010816A5039414480 @default.
- W2763010816 hasAuthorship W2763010816A5053626863 @default.
- W2763010816 hasAuthorship W2763010816A5057395076 @default.
- W2763010816 hasAuthorship W2763010816A5058725359 @default.
- W2763010816 hasBestOaLocation W27630108162 @default.
- W2763010816 hasConcept C159985019 @default.
- W2763010816 hasConcept C192562407 @default.
- W2763010816 hasConcept C197551870 @default.
- W2763010816 hasConcept C199360897 @default.
- W2763010816 hasConcept C2778307483 @default.
- W2763010816 hasConcept C38677869 @default.
- W2763010816 hasConcept C41008148 @default.
- W2763010816 hasConceptScore W2763010816C159985019 @default.
- W2763010816 hasConceptScore W2763010816C192562407 @default.
- W2763010816 hasConceptScore W2763010816C197551870 @default.
- W2763010816 hasConceptScore W2763010816C199360897 @default.
- W2763010816 hasConceptScore W2763010816C2778307483 @default.
- W2763010816 hasConceptScore W2763010816C38677869 @default.
- W2763010816 hasConceptScore W2763010816C41008148 @default.
- W2763010816 hasLocation W27630108161 @default.
- W2763010816 hasLocation W27630108162 @default.
- W2763010816 hasLocation W27630108163 @default.
- W2763010816 hasLocation W27630108164 @default.
- W2763010816 hasOpenAccess W2763010816 @default.
- W2763010816 hasPrimaryLocation W27630108161 @default.
- W2763010816 hasRelatedWork W1513764144 @default.
- W2763010816 hasRelatedWork W2016959625 @default.
- W2763010816 hasRelatedWork W2047356861 @default.
- W2763010816 hasRelatedWork W2129984267 @default.
- W2763010816 hasRelatedWork W2161002888 @default.
- W2763010816 hasRelatedWork W2331007960 @default.
- W2763010816 hasRelatedWork W2354827004 @default.
- W2763010816 hasRelatedWork W250152935 @default.
- W2763010816 hasRelatedWork W2884905799 @default.
- W2763010816 hasRelatedWork W2984462605 @default.
- W2763010816 isParatext "false" @default.
- W2763010816 isRetracted "false" @default.
- W2763010816 magId "2763010816" @default.
- W2763010816 workType "book-chapter" @default.