Observational implementation of algebraic specifications Rolf Hennicker OriginalPaper Pages: 187 - 230
Concurrent bisimulations in Petri nets Eike BestRaymond DevillersLucia Pomello OriginalPaper Pages: 231 - 264
MRE hierarchical decomposition of general queueing network models Panagiotis J. TomarasDemetres D. Kouvatsos OriginalPaper Pages: 265 - 295