Multiway Synchrinizaton Verified with Coupled Simulation

Joachim Parrow, Peter Sjödin. Multiway Synchrinizaton Verified with Coupled Simulation. In Rance Cleaveland, editor, CONCUR 92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Volume 630 of Lecture Notes in Computer Science, pages 518-533, Springer, 1992.

Authors

Joachim Parrow

This author has not been identified. Look up 'Joachim Parrow' in Google

Peter Sjödin

This author has not been identified. Look up 'Peter Sjödin' in Google