Semantics and Verification of Monitors and Systems of Monitors and Processes

Semantics and Verification of Monitors and Systems of Monitors and Processes

Authors: S. Gjessing
Status: Published
Publication type: Journal Article
Year of publication: 1988
Journal: Distributed Computing
Publisher: -
Citation key: 10953

Google Scholar BibTex