Author:
Astesiano Egidio,Giovini Alessandro,Reggio Gianna
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Abramsky S. “Observation Equivalence as a Testing Equivalence”, JTCS 53, 1987.
2. Arnold A.; Dick A. “An Algebraic Characterization of Transition Systems Equivalences”, Information and Computation, Vol. 82, No. 2, August 1989, Academic Press.
3. Astesiano E.; Giovini A.; Reggio G. “Generalized Bisimulation in Relational Specifications”, STACS '88, LNCS 294, 1988.
4. Astesiano E.; Giovini A.; Reggio G. “Data in a Concurrent Environment”, Proc. of Concurrency '88, LNCS 335, 1988.
5. Astesiano E.; Giovini A.; Reggio G. Observational Structures and their Logic, Internal Report, University of Genova, May 1990. Submitted for publication.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献