| Authors |
|
| Publication date |
1995
|
| Host editors |
-
A. Ponse
-
M. de Rijke
-
Y. Venema
|
| Book title |
Modal Logic and Process Algebra
|
| Book subtitle |
a bisimulation perspective
|
| ISBN |
|
| Pages (from-to) |
289-326
|
| Publisher |
Stanford, Calif. : Center for the Study of Language and Information, Stanford University
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Document type |
Chapter
|
| Note |
Papers presented at a workshop called Three days of Bisimulation, which was held Apr. 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam
|
| Language |
English
|
|
Permalink to this page
|