Multifaceted Distributed Systems Specification Using Processes and Event Synchronization

@inproceedings{Roman-Day:ICSE84,
  author    = {Gruia{-}Catalin Roman and
               Mark S. Day},
  title     = {Multifaceted Distributed Systems Specification Using Processes and Event Synchronization},
  booktitle = {ICSE},
  pages     = {44--55},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}