%0 Journal Article
%T Semantics and verification of monitors and systems of monitors and processes
%A Gjessing, Stein
%J Distributed Computing
%V 2
%N 4
%P 190-200
%@ 0178-2770
%D 2005-06-07
%I Springer-Verlag
%~ DeepDyve