1. M. Aguilar Cornejo, H. Garavel, R. Mateescu, N. de Palma, Specification and verification of a dynamic reconfiguration protocol for agent-based applications, in: A. Laurentowski, J. Kosinski, Z. Mossurska, R. Ruchala (Eds.), Proc. 3rd IFIP WG 6.1 Internat. Working Conf. on Distributed Applications and Interoperable Systems DAIS’2001 (Krakow, Poland), Kluwer Academic Publishers, Dordrecht, 2001, pp. 229–242. Full version available as INRIA Research Report RR-4222.
2. Model checking and boolean graphs;Andersen;Theoret. Comput. Sci.,1994
3. A linear algorithm to solve fixed-point equations on transition systems;Arnold;Inform. Process. Lett.,1988
4. T. Arts, C. Benac Earle, Development of a verified Erlang program for resource locking, in: S. Gnesi, U. Ultes-Nitsche (Eds.), Proc. 6th Internat. Workshop on Formal Methods for Industrial Critical Systems FMICS’2001 (Paris, France), Univ. Paris 7—LIAFA and INRIA Rhône-Alpes, 2001, pp. 131–145.
5. Definable operations in general algebras, and the theory of automata and flowcharts;Bekić,1984