Slow Abstraction via Priority

First Author: Roscoe A
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-642-39698-4_20

Publication URI: http://dx.doi.org/10.1007/978-3-642-39698-4_20

Type: Book Chapter

Book Title: Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (2013)

Page Reference: 326-345

ISBN: 978-3-642-39697-7

ISSN: 03029743