Author:
Devillers Raymond,Klaudel Hanna,Koutny Maciej
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. EATCS Monographs on TCS;E. Best,2001
2. Best, E., Fraczak, W., Hopkins, R.P., Klaudel, H., Pelz, E.: M-nets: an Algebra of High Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica 35, 813–857 (1998)
3. Lecture Notes in Computer Science;M. Boreale,1995
4. Lecture Notes in Computer Science;N. Busi,1995
5. Cattani, G.L., Sewell, P.: Models for Name-Passing Processes: Interleaving and Causal. In: Proc. of LICS 2000, pp. 322–333. IEEE CS Press, Los Alamitos (2000)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献