СТ |
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 |