Discover references
Equivalence
Books
4 results
English
Beginner
Modal logic and process algebra: a bisimulation perspective
Alban Ponse,Maarten de Rijke,Yde Venema
1995
View book
Discover references
Alban Ponse,Maarten de Rijke,Yde Venema