@article{10953,
  author = {Stein Gjessing},
  title = {Semantics and Verification of Monitors and Systems of Monitors and Processes},
  year = {1988},
  journal = {Distributed Computing},
  volume = {2,},
}