Applications of the Calculus of Trees to Process Description Languages.
P. Degano, S. Kasangian, and S. Vigna. Category Theory and Computer Science, volume 530 of Lecture Notes in Computer Science, page 282-301. Springer, (1991)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ctcs/DeganoKV91
%A Degano, Pierpaolo
%A Kasangian, Stefano
%A Vigna, Sebastiano
%B Category Theory and Computer Science
%D 1991
%E Pitt, David H.
%E Curien, Pierre-Louis
%E Abramsky, Samson
%E Pitts, Andrew M.
%E Poigné, Axel
%E Rydeheard, David E.
%I Springer
%K dblp
%P 282-301
%T Applications of the Calculus of Trees to Process Description Languages.
%U http://dblp.uni-trier.de/db/conf/ctcs/ctcs1991.html#DeganoKV91
%V 530
%@ 0-387-54495-X
@inproceedings{conf/ctcs/DeganoKV91,
added-at = {2017-05-20T00:00:00.000+0200},
author = {Degano, Pierpaolo and Kasangian, Stefano and Vigna, Sebastiano},
biburl = {https://www.bibsonomy.org/bibtex/242e5b85f9f1280c0037d36e80d9f7f08/dblp},
booktitle = {Category Theory and Computer Science},
crossref = {conf/ctcs/1991},
editor = {Pitt, David H. and Curien, Pierre-Louis and Abramsky, Samson and Pitts, Andrew M. and Poigné, Axel and Rydeheard, David E.},
ee = {https://doi.org/10.1007/BFb0013471},
interhash = {5aa21c34553a5225140a1228a1975e7c},
intrahash = {42e5b85f9f1280c0037d36e80d9f7f08},
isbn = {0-387-54495-X},
keywords = {dblp},
pages = {282-301},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2020-07-24T01:13:12.000+0200},
title = {Applications of the Calculus of Trees to Process Description Languages.},
url = {http://dblp.uni-trier.de/db/conf/ctcs/ctcs1991.html#DeganoKV91},
volume = 530,
year = 1991
}
