Author of the publication

Suptyping and Locality in Distributed Higher Order Processes (extended abstract).

, and . CONCUR, volume 1664 of Lecture Notes in Computer Science, page 557-572. Springer, (1999)

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

Observing Localities (Extended Abstract)., , , and . MFCS, volume 520 of Lecture Notes in Computer Science, page 93-102. Springer, (1991)Parameter-Passing Mechanisms and Nondeterminism, and . STOC, page 306-311. ACM, (1977)A bisimulation-based semantic theory of Safe Ambients., and . ACM Trans. Program. Lang. Syst., 28 (2): 290-330 (2006)Termination, Deadlock, and Divergence., and . J. ACM, 39 (1): 147-187 (1992)Modelling session types using contracts., and . SAC, page 1941-1946. ACM, (2012)A calculus for costed computations. Logical Methods in Computer Science, (2011)safeDpi: A Language for Controlling Mobile Code., , and . FoSSaCS, volume 2987 of Lecture Notes in Computer Science, page 241-256. Springer, (2004)Process Calculi for describing distributed systems.. J. Comput. Sci. Technol., 13 (6): 490 (1998)A Term Model for CCS., and . MFCS, volume 88 of Lecture Notes in Computer Science, page 261-274. Springer, (1980)Modelling session types using contracts., and . Math. Struct. Comput. Sci., 26 (3): 510-560 (2016)