Author of the publication

Traces Semantics for Actor Systems.

, and . Object-Based Concurrent Computing, volume 612 of Lecture Notes in Computer Science, page 141-162. Springer, (1991)

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

Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software., and . J. Log. Algebraic Methods Program., (2019)Predicative Polymorphism in Pi-Calculus.. PARLE, volume 817 of Lecture Notes in Computer Science, page 425-437. Springer, (1994)Checking the Conformance of Java Classes Against Algebraic Specifications., , , , and . ICFEM, volume 4260 of Lecture Notes in Computer Science, page 494-513. Springer, (2006)Preface., and . PLACES@DisCoTec, volume 241 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2008)Session-Based Compilation Framework for Multicore Programming., , , and . FMCO, volume 5751 of Lecture Notes in Computer Science, page 226-246. Springer, (2008)A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility., , , and . CLUSTER, page 297-. IEEE Computer Society, (2000)Lexically scoped distribution: what you see is what you get., , , and . FGC, volume 85 of Electronic Notes in Theoretical Computer Science, page 61-79. Elsevier, (2003)A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi., , , , , , , and . Global Computing, volume 3267 of Lecture Notes in Computer Science, page 179-207. Springer, (2004)Modular Session Types for Objects, , , and . Logical Methods in Computer Science, (2015)Typed Concurrent Objects.. ECOOP, volume 821 of Lecture Notes in Computer Science, page 100-117. Springer, (1994)