Author:
Cardelli Luca,Ghelli Giorgio,Gordon Andrew D.
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Lect Notes Comput Sci;M. Abadi,1997
2. Lect Notes Comput Sci;R.M. Amadio,1997
3. Lect Notes Comput Sci;R.M. Amadio,1994
4. Lect Notes Comput Sci;L. Cardelli,1999
5. Lect Notes Comput Sci;L. Cardelli,1998
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Analysing Adaption Processes of Hornets;Transactions on Petri Nets and Other Models of Concurrency XVII;2023-11-01
2. Restricting Hornets to Support Self-adaptive Systems;Application and Theory of Petri Nets and Concurrency;2017
3. A taxonomy of process calculi for distribution and mobility;Distributed Computing;2010-10-26
4. Expressiveness of Generic Process Shape Types;Trustworthly Global Computing;2010
5. Hornets: Nets within Nets Combined with Net Algebra;Applications and Theory of Petri Nets;2009