Journal article
Actions and Events in Concurrent Systems Design
Authors
Cassano V; Maibaum TSE
Journal
Electronic Proceedings in Theoretical Computer Science, Vol. 139, , pp. 31–45
Publisher
Open Publishing Association
DOI
10.4204/eptcs.139.3
ISSN
2075-2180