Article PDF
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.
Use our pre-submission checklist
Avoid common mistakes on your manuscript.
References
Stirling C. Modal and temporal logics for processes.Lecture Notes in Computer Science, 1996, 1043: 149–237.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Stirling, C. Playing games and proving properties of concurrent systems. J. of Comput. Sci. & Technol. 13, 482 (1998). https://doi.org/10.1007/BF02946488
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02946488