Author:
Bruni Roberto,Montanari Ugo
Publisher
Springer International Publishing
Reference43 articles.
1. Samson Abramsky and Achim Jung. Domain theory. In S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume 3, pages 1–168. Clarendon Press, Oxford, 1994.
2. Luca Aceto, Anna Ingόlfsdόttir, Kim Guldstrand Larsen, and Jirί Srba. Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, New York, 2007.
3. Luca Aceto, Anna Ingόlfsd´ottir, and Jirί Srba. The algorithmics of bisimilarity. In Davide Sangiorgi and Jan Rutten, editors, Advanced Topics in Bisimulation and Coinduction, pages 100–172. Cambridge University Press, 2011. Cambridge Books Online.
4. Christel Baier and Joost-Pieter Katoen. Principles of Model Checking. MIT Press, Cambridge, 2008.
5. B.A. Davey and H.A. Priestley. Introduction to Lattices and Order. Cambridge University Press, Cambridge, 2002.