Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automated inference of atomic sets for safe concurrent execution., , and . PASTE, page 1-8. ACM, (2013)Efficient Agent Communication in Multi-agent Systems., , and . SELMAS, volume 3390 of Lecture Notes in Computer Science, page 236-253. Springer, (2004)Actor-Oriented Programming for the Internet of Things.. SEKE, page ix. KSI Research Inc. and Knowledge Systems Institute Graduate School, (2017)A Language Framework for Multi-Object Coordination, and . ECOOP' 93 --- Object-Oriented Programming, page 346--360. Berlin, Heidelberg, Springer Berlin Heidelberg, (1993)ActorSpace: An Open Distributed Programming Paradigm, and . Proceedings of the Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, page 23--32. New York, NY, USA, Association for Computing Machinery, (1993)A compositional approach for modeling and timing analysis of wireless sensor and actuator networks., , , and . SIGBED Review, 14 (3): 49-56 (2017)A modular approach to real-time synchronization., and . OOPS Messenger, 7 (1): 13-20 (1996)A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching., , and . AMAST, volume 2422 of Lecture Notes in Computer Science, page 223-238. Springer, (2002)A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware., , and . FME, volume 2021 of Lecture Notes in Computer Science, page 197-221. Springer, (2001)An Architecture for Dynamic Service-Oriented Computing in Networked Embedded Systems., and . Software Service and Application Engineering, volume 7365 of Lecture Notes in Computer Science, page 147-164. Springer, (2012)