Author:
Bernardinello Luca,Cindio Fiorella
Publisher
Springer Berlin Heidelberg
Reference58 articles.
1. E. Best, F. De Cindio, R. Hopkins: DEMON, Design Methods Based On Nets: An ESPRIT Basic Research Action (#3148). In: The EATCS Bulletin n. 41, June 1990.
2. O. Botti, F. De Cindio, J. Hall, R. Hopkins: A Petri Net Semantics of Basic Occam-2. Technical Report n.80, ESPRIT BRA 3148, DEMON (1990).
3. E. Battiston, F. De Cindio, G. Mauri: OBJSA nets: a class of high level nets having objects as domains. In: G. Rozenberg (ed.), Advances in Petri nets 1988, LNCS 340, Springer-Verlag (1988).
4. G. Berthelot: Transformations and Decompositions of Nets. In: [brr87], Volume I, pp.359–376.
5. E. Best: Concurrent behaviour: sequences, processes and axioms. In: S.D. Brookes, A.W. Roscoe, G. Winskel (eds.), Seminar on Concurrency, LNCS 197, Springer-Verlag (1985).
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献