Covering Step Graph Preserving Failure Semantics

François Vernadat, François Michel. Covering Step Graph Preserving Failure Semantics. In Pierre Azéma, Gianfranco Balbo, editors, Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN 97, Toulouse, France, June 23-27, 1997, Proceedings. Volume 1248 of Lecture Notes in Computer Science, pages 253-270, Springer, 1997.

Abstract

Abstract is missing.