Back and Forth Bisimulations On Prime Event Structures

Ferroudja Cherief. Back and Forth Bisimulations On Prime Event Structures. In Daniel Etiemble, Jean-Claude Syre, editors, PARLE 92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings. Volume 605 of Lecture Notes in Computer Science, pages 843-858, Springer, 1992.

Abstract

Abstract is missing.