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

Modelling Concurrent Accesses to Shared Data via Petri Nets., , and . PROCOMET, volume A-56 of IFIP Transactions, page 403-422. North-Holland, (1994)A model for distributed systems based on graph rewriting., and . J. ACM, 34 (2): 411-449 (1987)On Limit Properties in Digitization Schemes.. J. ACM, 17 (2): 348-360 (1970)Observational equivalences for concurrency models., , and . Formal Description of Programming Concepts, page 105-134. North-Holland, (1987)Toward a Game-Theoretic Model of Grid Systems., , and . TGC, volume 6084 of Lecture Notes in Computer Science, page 57-72. Springer, (2010)Finite Domain Constraint Solving and Constraint Logic Programming., and . WCLP, page 201-221. MIT Press, (1991)Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory, and . LICS, page 155-164. IEEE Computer Society, (1988)Towards a Concurrent Semantics based Analysis of CC and CLP., , , , and . PPCP, volume 874 of Lecture Notes in Computer Science, page 151-161. Springer, (1994)The Observation Algebra of Spatial Pomsets., and . CONCUR, volume 527 of Lecture Notes in Computer Science, page 188-202. Springer, (1991)Graph Rewriting and Constraint Solving for Modelling Distributed Systems with Synchronization (Extended Abstract)., and . COORDINATION, volume 1061 of Lecture Notes in Computer Science, page 12-27. Springer, (1996)