![](/img/cover-not-exists.png)
Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement
Xiu-Li Sun, Wen-Yin Zhang, Jin-Zhao WuVolume:
19
Language:
english
Pages:
12
DOI:
10.1007/bf02973446
Date:
December, 2004
File:
PDF, 1.04 MB
english, 2004