Publisher
Springer International Publishing
Reference36 articles.
1. Lecture Notes in Computer Science;C Autant,1991
2. Best, E., Devillers, R., Kiehn, A., Pomello, L.: Concurrent Bisimulations in Petri nets. Acta Informatica 28, 231–264 (1991). doi:
10.1007/BF01178506
3. Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the ACM 31(3), 560–599 (1984). doi:
10.1145/828.833
4. Castellano, L., De Michelis, G., Pomello, L.: Concurrency vs interleaving: an instructive example. Bulletin of the EATCS 31, 12–15 (1987)
5. Lecture Notes in Computer Science;P Degano,1987
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献