An implementation of an efficient algorithm for bisimulation equivalence

Science of Computer Programming

Volumn 13, Issue 2-3, 1990, Pages 219-236

  Fernandez, Jean Claude ^a  

^a IMAG LGI ^*  (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY; COMPUTER PROGRAMMING LANGUAGES;

BINARY RELATIONS; BISIMULATION EQUIVALENCE; CONCURRENT SYSTEMS; UNIVERSAL PARTITION;

COMPUTER PROGRAMMING;

EID: 0025430066     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/0167-6423(90)90071-K     Document Type: Article

References (17)

1. Incremental development of a tool for equivalence verification
2. Fundamental results for the verification of observational equivalence
3. Aldébaran: Un système de vérification par réduction de processus communicants
4. Aldébaran: Manuel de l'utilisateur
5. Compilation et vérification de programmes LOTOS
6. A complete inference system for an algebra of regular acceptance models
7. Acceptance trees
8. Ccs expression, finite state processes and three problems of equivalence
9. Context-dependent bisimulation between processes
10. A calculus of communication systems
11. Specification oriented programming in tcsp
12. Concurrency and automata on infinite sequences
13. Three partition refinement algorithms
14. Proof techniques for CCS
15. A unified approach for studying the properties of transition systems