Synthesis and Equivalence of Concurrent Systems

Björn Lisper. Synthesis and Equivalence of Concurrent Systems. Theoretical Computer Science, 58:183-199, 1988.

Abstract

Abstract is missing.