The FC2TOOLS set

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1102, Issue , 1996, Pages 441-445

  Bouali, Amar ^a   Ressouche, Annie ^b   Roy, Valérie ^a   De Simone, Robert ^b  

^a PSL RESEARCH UNIVERSITY   (France)

^b INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84863932370     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61474-5_98     Document Type: Conference Paper

References (4)

1. A. Bouali and R. de Simone. Symbolic bisimulation minimisation. In Fourth Workshop on Computer-Aided Verification, volume 663 of LNCS, pages 96-108, Montreal, 1992. Springer-Verlag.
2. A. Bouali, A. Ressouche, V. Roy, and R. de Simone. The FCTOOLS user manual. In final ESPRIT-BRA CONCUR2 deliverables, Amsterdam, October 1995. Available by ftp from cma. cma. fr:pub/verif as file fc2userman.ps.
3. P.C. Kanellakis and S.A. Smolka. CCS expressions, finite state processes, and three problems of equivalence. Information and Computation, 86:43-68, 1990.
4. V. Roy and R. de Simone. AUTO and autograph. In R. Kurshan, editor, proceedings of Workshop on Computer Aided Verification, New-Brunswick, June 1990. AMS-DIMACS.