Rob J. van Glabbeek 人物

5

相关论文

2

相关公司

0

相关事件

0

相关专利

0

相关文章

详细信息

相关论文查看全部 (5)

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

相关公司查看全部 (2)

Centrum Wiskunde & InformaticaRESEARCH_INSTITUTE

Stanford UniversityUNIVERSITY

相关事件

暂无数据

相关专利

暂无数据

相关文章

暂无数据