Efficient verification of determinate processes

Publisher Website

1 January 1991

book chapter
Published by Springer Nature

p. 470-479
https://doi.org/10.1007/3-540-54430-5_107

Abstract

No abstract available

Keywords

This publication has 7 references indexed in Scilit:

Three Partition Refinement Algorithms
SIAM Journal on Computing, 1987
Matrix multiplication via arithmetic progressions
Published by Association for Computing Machinery (ACM) ,1987
Determinancy → (observation equivalence = trace equivalence)
Theoretical Computer Science, 1985
CCS expressions, finite state processes, and three problems of equivalence
Published by Association for Computing Machinery (ACM) ,1983
A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980
Depth-First Search and Linear Graph Algorithms
SIAM Journal on Computing, 1972
AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATON
Published by Elsevier ,1971