Related references
Note: Only part of the references are listed.Translating between models of concurrency
David Mestel et al.
ACTA INFORMATICA (2020)
Verified simulation for robotics
Ana Cavalcanti et al.
SCIENCE OF COMPUTER PROGRAMMING (2019)
Reducing Complex CSP Models to Traces via Priority
David Mestel et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2016)
The Expressiveness of CSP With Priority
A. W. Roscoe
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2015)
Modular Design and Verification of Distributed Adaptive Real-Time Systems
Thomas Goethel et al.
NATURE OF COMPUTATION AND COMMUNICATION (2015)
On Timed Models and Full Abstraction
Gavin Lowe et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2006)