Model theory for process algebra
| Authors | |
|---|---|
| Publication date | 2005 |
| Journal | Lecture Notes in Computer Science |
| Volume | Issue number | 3838 |
| Pages (from-to) | 445-495 |
| Organisations |
|
| Document type | Article |
| Note | Proceedings title: Processes, terms and cycles: steps on the road to infinity, essays dedicated to Jan-Willem Klop, on the occasion of his 60th birthday Editors: A. Middeldorp, V. van Oostrom, F. van Raamsdonk, R. de Vrijer |
| Permalink to this page | |
