Multifaceted Distributed Systems Specification Using Processes and Event Synchronization.

Gruia-Catalin Roman, Mark S. Day

Browse the full ICSE paper archive.