The Three Platonic Models of Divergence-Strict CSP
Attributed to:
CSP Model Checking: New Technology and Techniques
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-540-85762-4_3
Publication URI: http://dx.doi.org/10.1007/978-3-540-85762-4_3
Type: Book Chapter
Book Title: Theoretical Aspects of Computing - ICTAC 2008 - 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings (2008)
Page Reference: 23-49
ISBN: 978-3-540-85761-7
ISSN: 0921-0296