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 Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems., and . HSCC, volume 2623 of Lecture Notes in Computer Science, page 435-449. Springer, (2003)Applications of Topology to Semantics of Communicating Processes.. Seminar on Concurrency, volume 197 of Lecture Notes in Computer Science, page 360-372. Springer, (1984)Behavioural Equivalence Relations Induced by Programming Logics., and . ICALP, volume 154 of Lecture Notes in Computer Science, page 97-108. Springer, (1983)A Logical Semantics for Feature Structures, and . ACL-86, page 257--266. New York, ACL, (1986)A Logical Version of Functional Grammar., and . ACL, page 89-96. ACL, (1987)Context-Free Grammars on Trees. STOC, page 143-148. ACM, (1969)The Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars, , and . Communications of the Association for Computing Machinery, 18 (12): 679--706 (December 1975)Complexity of Expressions Allowing Concurrency., , and . POPL, page 185-194. ACM Press, (1978)A Spatial Logic for the Hybrid p-Calculus.. HSCC, volume 2993 of Lecture Notes in Computer Science, page 508-522. Springer, (2004)Mappings and Grammars on Trees.. Math. Syst. Theory, 4 (3): 257-287 (1970)