Journal article
Modal abstractions of concurrent behavior
- Nielson, Flemming Technical University of Denmark, Kongens Lyngby, Denmark
- Nanz, Sebastian ETH Zurich, Switzerland
- Nielson, Hanne Riis Technical University of Denmark
Published in:
- ACM Transactions on Computational Logic. - Association for Computing Machinery (ACM). - 2011, vol. 12, no. 3, p. 1-40
- Language
-
- English
- Open access status
- closed
- Identifiers
-
- DOI 10.1145/1929954.1929955
- ISSN 1529-3785
- Persistent URL
- https://susi.usi.ch/global/documents/112924
Statistics
Document views: 20
File downloads: