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

Control Structures: a Model of Interaction.. Category Theory and Computer Science, volume 953 of Lecture Notes in Computer Science, page 1-2. Springer, (1995)Edinburgh LCF, , and . Lecture Notes in Computer Science Springer, (1979)Graphical Calculi for Interaction (Abstract).. ICALP, volume 1256 of Lecture Notes in Computer Science, page 1. Springer, (1997)Functions as Processes.. ICALP, volume 443 of Lecture Notes in Computer Science, page 167-180. Springer, (1990)Concurrent Processes and Their Syntax., and . J. ACM, 26 (2): 302-321 (1979)The Spectra of Words.. Processes, Terms and Cycles, volume 3838 of Lecture Notes in Computer Science, page 1-5. Springer, (2005)Concurrent Processes as Objects (Abstract).. VDM Europe (1), volume 551 of Lecture Notes in Computer Science, page 9. Springer, (1991)Dialogue with a Proof System.. TAPSOFT, Vol.1, volume 249 of Lecture Notes in Computer Science, page 271-275. Springer, (1987)Synthesis of Communicating Behaviour.. MFCS, volume 64 of Lecture Notes in Computer Science, page 71-83. Springer, (1978)Functions as Processes.. Math. Struct. Comput. Sci., 2 (2): 119-141 (1992)