Multiway Synchronization Verified with Coupled Simulation.

Joachim Parrow, Peter Sjdin

Browse the full CONCUR paper archive.