Folk Theorems on the Correspondence between State-Based and Event-Based Systems.

Michel A. Reniers, Tim A. C. Willemse

Browse the full SOFSEM paper archive.