Author:
Pelayo Fernando López,Cuartero Gomez Fernando,Cazorla Diego,Valero-Lara Pedro,Merayo Mercedes Garcia
Publisher
Springer International Publishing
Reference12 articles.
1. Bloom, B.: Ready simulation, bisimulation, and the semantics of CCS-like languages. Ph.D. thesis, Department of Electrical Engineering and Computer Science, MIT (1989)
2. Cazorla, D., Cuartero, F., Valero, V., Pelayo, F.L., Pardo, J.J.: Algebriac theory of probabilistic and nondeterministic processes. J. Logic Algebraic Program. 55(1–2), 57–103 (2003)
3. Cleaveland, R., Hennessy, M.: Testing equivalence as a bisimulation equivalence. Formal Aspects Comput. 5, 1–20 (1993)
4. Lecture Notes in Computer Science;S Edelkamp,2006
5. Gradara, S., Santone, A., Villani, M.L.: Using heuristic search for finding deadlocks in concurrent systems. Inf. Comput. 202(2), 191–226 (2005)