1. Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM 31, 560–599 (1984)
2. Lecture Notes in Computer Science;L. Cardelli,1998
3. Cattani, G.L., Leifer, J.J., Milner, R.: Contexts and Embeddings for closed shallow action graphs. University of Cambridge Computer Laboratory, Technical Report 496 (2000) (submitted for publication), Available at http://pauillac.inria.fr/~leifer
4. Lecture Notes in Computer Science;H. Ehrig,1979
5. Ehrig, H.: Bigraphs meet double pushouts. EATCS Bulletin 78, 72–85 (2002)