Modal logic and process algebra a bisimulation perspective /
| Άλλοι συγγραφείς: | , , , , |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Stanford, Calif :
CSLI Publications,
c1995
|
| Σειρά: | CSLI lecture notes ;
no. 53 |
| Θέματα: |