Jean-Pierre Courtiat, Djamel-Eddine Saïdouni. Relating maximality-based semantics to action refinement in process algebras. In Dieter Hogrefe, Stefan Leue, editors, Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. Volume 6 of IFIP Conference Proceedings, pages 293-308, Chapman & Hall, 1994.
No references recorded for this publication.
No citations of this publication recorded.