Reversibility in Massive Concurrent Systems, pages 175-198

Authors: L. Cardelli, C. Laneve

Abstract | References | BibTeX | Full Text (PDF)

Petri Nets for Biologically Motivated Computing, pages 199-225

Authors: J. Kleijn, M. Koutny, G. Rozenberg

Abstract | References | BibTeX | Full Text (PDF)

Generalized Communicating P Systems Working in Fair Sequential Mode, pages 227-247

Authors: A. Spicher, S. Verlan

Abstract | References | BibTeX | Full Text (PDF)

Abstracting Asynchronous Multi-Valued Networks, pages 249-282

Authors: J. Steggles

Abstract | References | BibTeX | Full Text (PDF)

Thread Extraction for Polyadic Instruction Sequences, pages 283-310

Authors: J.A. Bergstra, C.A. Middelburg

Abstract | References | BibTeX | Full Text (PDF)