( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing.

, , , и . ACSD, стр. 212-221. IEEE Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

de Boer

wim de boer

Nicole Schlorke-de Boer

Johanne Boer

Erik Böer

 

Другие публикации лиц с тем же именем

On the Nature of Symbolic Execution., и . SYNASC, стр. 4-5. IEEE, (2019)From SOS to Asynchronously Communicating Actors., , , и . SEFM Workshops, том 12226 из Lecture Notes in Computer Science, стр. 269-275. Springer, (2019)Semantics of plan revision in intelligent agents., , и . Theor. Comput. Sci., 351 (2): 240-257 (2006)A proof outline logic for object-oriented programming., и . Theor. Comput. Sci., 343 (3): 413-442 (2005)Modeling Real-Time in Concurrent Constraint Programming., и . GULP-PRODE, стр. 101-112. (1995)Compositional Semantics for Concurrent Object Groups in ABS., и . Principled Software Development, стр. 87-98. Springer, (2018)Coordination and composition in multi-agent systems., , и . AAMAS, стр. 439-446. ACM, (2005)Generic Process Algebras for Asynchronous Communication., и . CONCUR, том 1664 из Lecture Notes in Computer Science, стр. 226-241. Springer, (1999)A Compositional Proof System for Asynchronously Communicating Processes., и . MPC, том 947 из Lecture Notes in Computer Science, стр. 197-213. Springer, (1995)Run-Time Checking Multi-threaded Java Programs., и . SOFSEM, том 9587 из Lecture Notes in Computer Science, стр. 217-228. Springer, (2016)