Author:
Aceto Luca,Nicola Rocco,Fantechi Alessandro
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Theoret. Comput. Sci.;D. Austry,1984
2. Boudol, G. and Castellani, I. On the Semantics of Concurrency: Partial Orders and Transition Systems. Proc. Tapsoft-CAAP '87, Lecture Notes in Computer Science, Volume 249, pp. 123–137, Springer-Verlag, Heidelberg (1987).
3. Brookes, S.D., Hoare, C.A.R. and Roscoe, A.D. A Theory of Communicating Sequential Processes. Journal of ACM, Vol. 31, No. 3, pp. 560–599 (1984).
4. Bergstra, J. and Klop, G. Process Algebra for Synchronous Communication, Information and Control, Vol 60, pp.109–137, North Holland, Amsterdam (1984).
5. Castellani,I. and Hennessy,M. Distributed Bisimulations. Unpublished manuscript, (1985).
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Testing Equivalences of Time Petri Nets;Programming and Computer Software;2020-07
2. Causality-Based Testing in Time Petri Nets;Lecture Notes in Computer Science;2019
3. Testing Equivalence vs. Runtime Monitoring;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
4. A Framework for Provenance-Preserving History Distribution and Incremental Reduction;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
5. Composition methods for constructing characteristic formulas for dense-time models;Programming and Computer Software;2012-11