An algebraic verification of a mobile network Fredrik OravaJoachim Parrow OriginalPaper Pages: 497 - 543
On the lattice of specifications: Applications to a specification methodology Noureddine BoudrigaFathi ElloumiAli Mili OriginalPaper Pages: 544 - 571
Compositional generation of home states in free choice nets Eike BestLudmila CherkasovaJörg Desel OriginalPaper Pages: 572 - 581
On equivalence-completions of fairness assumptions Nissim FrancezRalph -J. J. BackReino Kurki-Suonio OriginalPaper Pages: 582 - 591