TY  - JOUR

T1  - Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems

JO  - Science of Computer Programming

UR  - https://eprints.whiterose.ac.uk/id/eprint/113166

UR  - https://doi.org/10.1016/j.scico.2015.05.005

PY  - 2015/11/01

AU  - Dongol B

AU  - Derrick J

ED  - 

DO  - DOI: 10.1016/j.scico.2015.05.005

PB  - Elsevier

VL  - 111

SP  - 214

EP  - 247

Y2  - 2025/11/27

ER  -