Verification of distributed systems: an experiment

Didier Vergamini. Verification of distributed systems: an experiment. In Jean-Eric Pin, editor, Formal Properties of Finite Automata and Applications, LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 25-29, 1987, Proceedings. Volume 386 of Lecture Notes in Computer Science, pages 249-259, Springer, 1988.

Abstract

Abstract is missing.