Specification Styles in Distributed Systems Design and Verification

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma. Specification Styles in Distributed Systems Design and Verification. Theoretical Computer Science, 89(1):179-206, 1991.

Abstract

Abstract is missing.