1. Invariants, composition, and substitution

   • Ekkart Kindler

   OriginalPaper Pages: 299 - 312

2. S-invariant analysis of general recursive Petri boxex

   • Raymond Devillers

   OriginalPaper Pages: 313 - 345

3. A Petri nets semantics for data flow networks

   • Cinzia Bernardeschi
   • Nicoletta De Francesco
   • Gigliola Vaglini

   OriginalPaper Pages: 347 - 374

4. A modal logic for message passing processes

   • M. Hennessy
   • X. Liu

   OriginalPaper Pages: 375 - 393

5. The extended equivalence problem for a class of non-real-time deterministic pushdown automata

   • Etsuji Tomita
   • Kazushi Seino

   OriginalPaper Pages: 395 - 413