1. Parallel integer sorting and simulation amongst CRCW models

   • Sanjeev Saxena

   Pages: 607 - 619

2. Trial and Error

   • Foued Ameur
   • Paul Fischer
   • Friedhelm Meyer auf der Heide

   Pages: 621 - 630

3. An observation on suffix redundancy in LL(1) error repair

   • Eberhard Bertsch

   Pages: 631 - 639

4. Axiomatizing the algebra of net computations and processes

   • Pierpaolo Degano
   • José Meseguer
   • Ugo Montanari

   Pages: 641 - 667

5. On the analysis of Petri nets with static priorities

   • Falko Bause

   Pages: 669 - 685

6. Reduction rules for time Petri nets

   • Robert H. Sloan
   • Ugo Buy

   Pages: 687 - 706