Observational Logic and Process Semantics (Abstract)
S. Abramsky
Details
| Book Title |
Logic at Botik 89 |
| Editor |
A. Meyer and M. Taitslin |
| Publisher |
Springer−Verlag |
| Year |
1989 |
Links
Related pages
|
People |