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

The Cost of Parameterized Reachability in Mobile Ad Hoc Networks, , , and . CoRR, (2012)Towards a Unifying Theory for Choreography Conformance and Contract Compliance., and . SC@ETAPS, volume 4829 of Lecture Notes in Computer Science, page 34-50. Springer, (2007)Comparing coordination models and architectures using embeddings., , and . Sci. Comput. Program., 46 (1-2): 31-69 (2003)A Formal Approach to Microservice Architecture Deployment., , , , and . Microservices, Science and Engineering, Springer, (2020)An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study., and . Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, page 428-444. Springer, (2001)Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems., , , and . NETWORKING Workshops, volume 2376 of Lecture Notes in Computer Science, page 295-299. Springer, (2002)State- and Event-Based Reactive Programming in Shared Dataspaces., , and . COORDINATION, volume 2315 of Lecture Notes in Computer Science, page 111-124. Springer, (2002)Deciding Reachability in Mobile Ambients., and . ESOP, volume 3444 of Lecture Notes in Computer Science, page 248-262. Springer, (2005)Optimal and Automated Deployment for Microservices., , , , and . FASE, volume 11424 of Lecture Notes in Computer Science, page 351-368. Springer, (2019)From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming., , and . COORDINATION, volume 2949 of Lecture Notes in Computer Science, page 105-118. Springer, (2004)