Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Ehrig, H., König, B.: Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting with Borrowed Contexts. Mathematical Structures in Computer Science 16(6), 1133–1163 (2006)
2. Lecture Notes in Computer Science;F. Gadducci,2003
3. König, B.: A Graph Rewriting Semantics for the Polyadic π-Calculus. In: Proc. of GT-VMT 2000, Workshop on Graph Transformation and Visual Modeling Techniques, pp. 451–458 (2000)
4. Milner, R.: The Space and Motion of Communicating Systems. Cambridge University Press, Cambridge (2009)
5. Murakami, M.: A Formal Model of Concurrent Systems Based on Bipartite Directed Acyclic Graph. Science of Computer Programming 61, 38–47 (2006)