20 Years of Mixed and Modal Specifications, Bulletin of the European Association for Theor. Comput. Sci, 2008. ,
On determinism in modal transition systems, Theor. Comput. Sci, issue.41, pp.4104026-4043, 2009. ,
A modular approach to defining and characterising notions of simulation, Information and Computation, vol.204, issue.4, pp.469-502, 2006. ,
DOI : 10.1016/j.ic.2005.04.005
Interface automata, ESEC / SIGSOFT FSE, pp.109-120, 2001. ,
On the unification of semantics for processes: observational semantics, SOFSEM 09, Proceedings, pp.279-290, 2009. ,
New Bisimulation Semantics for Distributed Systems, FORTE 2007, Proceedings, LNCS 4547, pp.143-159, 2007. ,
DOI : 10.1016/j.tcs.2006.03.004
Non-strongly Stable Orders Also Define Interesting Simulation Relations, CALCO 09, Proceedings, LNCS 5728, pp.221-235, 2009. ,
DOI : 10.1016/S0169-7552(96)00017-7
Algebraic laws for nondeterminism and concurrency, Journal of the ACM, vol.32, issue.1, pp.137-161, 1985. ,
DOI : 10.1145/2455.2460
Simulations in coalgebra, Theoretical Computer Science, vol.327, issue.1-2, pp.71-108, 2004. ,
DOI : 10.1016/j.tcs.2004.07.022
A framework based on implementation relations for implementing LOTOS specifications, Computer Networks and ISDN Systems, vol.25, issue.1, pp.23-41, 1992. ,
DOI : 10.1016/0169-7552(92)90122-7
A model for discrete event systems, 22nd Annual Conference on Information Sciences and Systems, pp.29-38, 1988. ,
Concurrency and automata on infinite sequences, Theor. Comput. Sci. 5th GI-Conference, Proceedings, pp.167-183, 1981. ,
DOI : 10.1007/BFb0017309
The linear time - branching time spectrum, Handbook of process algebra, pp.3-99, 2001. ,
DOI : 10.1007/BFb0039066