@misc{12987,
  author = {Stein Gjessing},
  title = {An Axiomatic Semantics of Concurrent Processes and Monitors},
  year = {1985},
  number = {95},
  month = {August,},
  publisher = {Department of Informatics, University of Oslo},
}