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.
Observational Logics and Concurrency Models [link]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}
}
Downloads: 0