Specifying Processes
S. Abramsky and D. Pavlovic
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