Observational Logics and Concurrency Models. Nicola, R. D. and Ferrari, G. L. In Nori, K. V. and Madhavan, C. E. V., editors, Foundations of Software Technology and Theoretical Computer Science, Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings, volume 472, of Lecture Notes in Computer Science, pages 301–315, 1990. Springer.
Paper doi bibtex @inproceedings{DBLP:conf/fsttcs/NicolaF90,
author = {Rocco De Nicola and
Gian Luigi Ferrari},
editor = {Kesav V. Nori and
C. E. Veni Madhavan},
title = {Observational Logics and Concurrency Models},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {472},
pages = {301--315},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53487-3\_53},
doi = {10.1007/3-540-53487-3\_53},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/NicolaF90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}