Ingo Czaja

According to our database, Ingo Czaja authored at least 1 paper in 1992.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1992

Interleaving semantics and action refinement with atomic choice.

Ingo Czaja, Rob J. van Glabbeek, Ursula Goltz

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992