Goltz, U.

• Czaja, Ingo; van Glabbeek, Rob J.; Goltz, Ursula:
  Interleaving Semantics and Action Refinement with Atomic Choice. 1992.

• Czaja, I.; van Glabbeek, R.J.; Goltz, U.:
  Interleaving Semantics and Action Refinement with Atomic Choice. 1991.

• Goltz, U.; Rensink, A.:
  Finite Petri nets as Models for Recursive Causal Behaviour. 1991.

• van Glabbeek, Rob J.; Goltz, Ursula:
  Equivalences and Refinement. 1990.

• Goltz, Ursula:
  CCS and Petri Nets. 1990.

• van Glabbeek, Rob; Goltz, Ursula:
  Refinement of Actions in Causality Based Models. 1990.

• van Glabbeek, Rob; Goltz, Ursula:
  Partial Order Semantics for Refinement of Actions --- Neither Necessary nor Always Sufficient but Appropriate when Used with Care. 1989.

• van Glabbeek, Rob; Goltz, Ursula:
  Partial Order Semantics for Refinement of Actions --- Neither Necessary nor Always Sufficient but Appropriate when Used with Care. 1989.

• van Glabbeek, Rob; Goltz, Ursula:
  Equivalence Notions for Concurrent Systems and Refinement of Actions. 1989.

• Goltz, U.:
  On Representing CCS Programs by Finite Petri Nets. 1988.

• Goltz, U.:
  Über die Darstellung von CCS Programmen durch Petrinetze. 1988.

• Olderog, E.-R.; Goltz, U.; van Glabbeek, R.:
  Combining Compositionality and Concurrency. Summary of a GMD-Workshop, Königswinter, March 1988. 1988.

• Goltz, U.:
  On Condition/Event Representations of Place/Transition Nets. 1987.

• Goltz, U.:
  On Representing CCS Programs by Finite Petri Nets. 1987.

• Goltz, U.:
  Synchronic Distance. 1987.

• Loogen, R.; Goltz, U.:
  A Non-interleaving Semantic Model for Nondeterministic Concurrent Processes. 1987.

• Goltz, U.:
  Building Structured Petri Nets. 1986.

• Goltz, U.; Yuan, C.Y.:
  Synchronic Structure - A Tutorial. 1986.

• Goltz, Ursula:
  How Many Transitions may be in Conflict?. 1986.

• Goltz, U.; Reisig, W.:
  CSP-Programs as Nets With Individual Tokens. 1985.

• Goltz, Ursula:
  Considering Nets as Distributed Transition Systems. 1985.

• Goltz, U.; Mycroft, A.:
  On the Relationship of CCS and Petri Nets. 1984.

• Goltz, U.; Reisig, W.:
  Processes of Place/Transition-Nets. 1983.

• Goltz, U.; Reisig, W.:
  The Non-sequential Behaviour of Petri Nets. 1983.

• Goltz, U.; Vogt, U.:
  Processes of Relation Nets. 1983.

• Goltz, U.; Reisig, W.:
  Weighted Synchronic Distances. 1982.

• Goltz, U.; Reisig, W.; Thiagarajan, P.S.:
  Two Alternative Definitions of Synchronic Distance. 1982.

• Goltz, U.:
  Synchronieabstände in Bedingungs/Ereignis-Systemen. 1982.

Back to the Petri Nets Bibliography