Global and Local Invariants in Transition Systems

Joseph Sifakis. Global and Local Invariants in Transition Systems. In Mogens Nielsen, Erik Meineche Schmidt, editors, Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings. Volume 140 of Lecture Notes in Computer Science, pages 510-522, Springer, 1982.

Abstract

Abstract is missing.