Вы здесь

Goltz U.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Refinement of actions and equivalence notions for cjncurrent systems 2001 Van Glabbeek R., Goltz U. Acta Informatica 07.03.2001
П Combining Compositionality and Concurrency 1988 Olderog E. -R., Goltz U., Van Glabbeek R. GMD 07.07.1998
П Equivalence Notions for Concurrent Systems and Refinement of Actions 1989 Van Glabbek R., Goltz U. GMD 07.07.1998
СТ Causal Testing 1996 Goltz U., Wehrheim H. Lecture Notes in Computer Science Mathematical Foundations of Computer Science 1996 11.10.1996
П Partial order semantics for refinement of actions - neither necessary nor sufficient but appropriate when used with care 1989 Van Glabbeek R. J., Goltz U. CWI 11.11.1995
СТ CSP-Programs as Nets with Individual Tokens 1988 Goltz U., Reisig W. Petri Nets Tutorial 05.10.1995
СТ Processes of Relation Nets 1983 Goltz U., Vogt U. Petri Nets Newsletter 22.06.1995
П On Representing CCS Programs by Finite Petri Nets 1988 Goltz U. GMD Arbeitspapiere der GMD 06.06.1995
СТ Processes of Place/Transition-Nets 1984 Goltz U., Reisig W. 03.06.1995
СТ On Syntactic and Semantic Action Refinement 1994 Goltz U., Gorrieri R., Rensink A. Lecture Notes in Computer Science 05.05.1994
СТ Propositional Temporal Logics and Equivalences 1992 Goltz U., Kuiper R., Penczek W. Lecture Notes in Computer Science 16.10.1992
СТ Interleaving Semantics and Action Refinement with Atomic Choice 1992 Czaja I., Van Glabbeek R. J., Goltz U. Lecture Notes in Computer Science 09.07.1992