Rob J. van Glabbeek 人物

Rob J. van Glabbeek · 相关论文

The linear time — Branching time spectrum II

1993Lecture notes in computer science引用 741

Branching time and abstraction in bisimulation semantics

1996Journal of the ACM引用 735

The Linear Time - Branching Time Spectrum I.**This is an extension of [20]. The research reported in this paper has been initiated at CWI in Amsterdam, continued at the Technical University of Munich, and finalized at Stanford University. It has been supported by Sonderforschungsbereich 342 of the TU München and by ONR under grant number N00014-92-J-1974. Part of it was carried out in the preparation of a course Comparative Concurrency Semantics, given at the University of Amsterdam, Spring 1988. A coloured version of this paper is available at http://boole.stanford.edu/pub/spectruml.ps.gz. The Semantics of Concrete, Sequential Processes

2001Elsevier eBooks引用 480

The linear time — Branching time spectrum II: The semantics of sequential systems with silent moves extended abstract

1993Lecture notes in computer science引用 275

The Linear Time-Branching Time Spectrum (Extended Abstract)

1990International Conference on Concurrency Theory引用 224