Author of the publication

A proof rule for process-creation.

. Formal Description of Programming Concepts, page 23-52. North-Holland, (1987)

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

Decidable Navigation Logics for Object Structures., and . CSL, volume 2142 of Lecture Notes in Computer Science, page 324-338. Springer, (2001)Agent Programming with Declarative Goals., , , and . ATAL, volume 1986 of Lecture Notes in Computer Science, page 228-243. Springer, (2000)Process Algebra for Agent Communication: A General Semantic Approach., , , and . Communication in Multiagent Systems, volume 2650 of Lecture Notes in Computer Science, page 113-128. Springer, (2003)Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency., , and . FSTTCS, volume 1346 of Lecture Notes in Computer Science, page 267-283. Springer, (1997)Coordination and composition in multi-agent systems., , and . AAMAS, page 439-446. ACM, (2005)Run-Time Checking Multi-threaded Java Programs., and . SOFSEM, volume 9587 of Lecture Notes in Computer Science, page 217-228. Springer, (2016)A Compositional Proof System for Asynchronously Communicating Processes., and . MPC, volume 947 of Lecture Notes in Computer Science, page 197-213. Springer, (1995)Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8., , , , and . ARMS-CC@PODC, volume 8907 of Lecture Notes in Computer Science, page 103-112. Springer, (2014)A Formal, Resource Consumption-Preserving Translation of Actors to Haskell., , , and . LOPSTR, volume 10184 of Lecture Notes in Computer Science, page 21-37. Springer, (2016)Run-Time Verification of Coboxes., , and . SEFM, volume 8137 of Lecture Notes in Computer Science, page 259-273. Springer, (2013)