Вы здесь

Olderog E. -R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Linking CSP-OZ with UML and Java: A Case Study 2004 Moller M., Olderog E. -R., Rasch H., Wehrheim H. Lecture Notes in Computer Science 21.05.2004
СТ Specification and Inheritance in CSP-OZ 2003 Olderog E. -R., Wehrheim H. Lecture Notes in Computer Science 31.01.2004
СТ Combining Specification Techniques for Processes, Data and Time 2002 Hoenicke J., Olderog E. -R. Lecture Notes in Computer Science 21.06.2002
СТ A CSP View on UML-RT Structure Diagrams 2001 Fischer C., Olderog E. -R., Wehrheim H. Lecture Notes in Computer Science 05.05.2001
СТ The UniForM Workbench, a Universal Development Environment for Formal Methods 1999 Krieg-Bruckner B., Peleska J., Olderog E. -R., Baer A. Lecture Notes in Computer Science 26.10.1999
СТ Transformational Design of Real-Time Systems. Part I: From Requirements to Program Specifications 1999 Schenke M., Olderog E. -R. Acta Informatica 27.02.1999
СТ Decomposing Real-Time Specifications 1998 Olderog E. -R., Dierks H. Lecture Notes in Computer Science Lecture Notes in Computer Science 30.01.1999
П Readies and Failures in the Algebra of Communicating Processes 1987 Bergstra J. A., Klop J. W., Olderog E. -R. CWI Computing Surveys 08.07.1998
П Combining Compositionality and Concurrency 1988 Olderog E. -R., Goltz U., Van Glabbeek R. GMD 07.07.1998
СТ Process Theory: Semantics, Specification and Verification 1986 Olderog E. -R. Christian-Albrechts-Univ. zu Kiel 09.06.1995
СТ Specification-Oriented Semantics for Communicating Processes 1983 Olderog E. -R., Hoare C.A. R. Oxford Univ. 03.06.1995
СТ Contrasting Themes in the Semantics of Imperative Concurrency 1982 De Bakker J. W., Kok J. N., Meyer J.-J. Ch., Olderog E. -R., Zucker J. I. 16.05.1995
СТ Provably Correct Systems 1994 He J., Hoare C.A. R., Franzle M., Muller-Olm M., Olderog E. -R., Schenke M., Hansen M. R., Ravn A. P., Rischel H. Lecture Notes in Computer Science 19.10.1994
СТ A Case Study in Transformational Design of Concurrent Systems 1993 Olderog E. -R., Rossig S. Lecture Notes in Computer Science 26.05.1993
СТ Interfaces between Languages for Communicating Systems 1992 Olderog E. -R. Lecture Notes in Computer Science 07.08.1992