( en | de | ru )

 

Disambiguierung von "de Boer, Frank S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Petri Net Based Modeling of Active Objects and Futures.

, , , und . Fundam. Informaticae, 159 (3): 197-256 (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

de Boer

wim de boer

Nicole Schlorke-de Boer

Chandradewana Boer

Jan Boer

 

Weitere Publikationen von Autoren mit dem selben Namen

Compositional Semantics for Concurrent Object Groups in ABS., und . Principled Software Development, Seite 87-98. Springer, (2018)A Petri Net Based Analysis of Deadlocks for Active Objects and Futures., , , , , und . FACS, Volume 7684 von Lecture Notes in Computer Science, Seite 110-127. Springer, (2012)A Proof System for the Language POOL.. REX Workshop, Volume 489 von Lecture Notes in Computer Science, Seite 124-150. Springer, (1990)Semantics of Communicating Agents Based on Deduction and Abduction., , , und . Issues in Agent Communication, Volume 1916 von Lecture Notes in Computer Science, Seite 63-79. Springer, (2000)Operational Semantics for Agent Communication Languages., , , und . Issues in Agent Communication, Volume 1916 von Lecture Notes in Computer Science, Seite 80-95. Springer, (2000)A Formal Embedding of AgentSpeak(L) in 3APL., , , und . Australian Joint Conference on Artificial Intelligence, Volume 1502 von Lecture Notes in Computer Science, Seite 155-166. Springer, (1998)A Truly Concurrent Model for Interacting Agents., , , und . PRIMA, Volume 2132 von Lecture Notes in Computer Science, Seite 16-30. Springer, (2001)Run-Time Verification of Coboxes., , und . SEFM, Volume 8137 von Lecture Notes in Computer Science, Seite 259-273. Springer, (2013)A Formal, Resource Consumption-Preserving Translation of Actors to Haskell., , , und . LOPSTR, Volume 10184 von Lecture Notes in Computer Science, Seite 21-37. Springer, (2016)MoCha-pi, an exogenous coordination calculus based on mobile channels., , , und . SAC, Seite 436-442. ACM, (2005)