Author:
De Cindio F.,De Michelis G.,Pomello L.,Simone C.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. F.De Cindio,G.De Michelis,L.Pomello,C.Simone Verso un modello dei sistemi di processi autonomi interagenti Atti AICA 81 - Pavia Italy - 1981
2. K.Jensen Coloured Petri nets and the invariant method DAIMI PB-104 -Comp.Scienee Dept. - Aarhus University - 1979
3. R.Milner A Calculus for Communicating Systems Lec. Not.Comp.Sc. 92 - 1980
4. H.J.Genrieh,K.Lautenbach System modelling with high-level Petri nets Theoretical Computer Sc. 13 - 1981
5. R.Janicki On atomic’ nets and concurrency relations MFCS ‘80 -Lec.Not.Comp.Sc. 88 - 1980
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献