Specifying Processes
S. Abramsky and D. Pavlovic
Details
| Book Title |
Proceedings of the International Symposium on Category Theory In Computer Science |
| Editor |
E. Moggi and G. Rosolini |
| Pages |
147−158 |
| Publisher |
Springer−Verlag |
| Series |
Springer Lecture Notes in Computer Science |
| Volume |
1290 |
| Year |
1997 |
Links
Related pages
|
People |