A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP

First Author: Oliveira M
Attributed to:  High-integrity Java Applications using Circus funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-40561-7_4

Publication URI: http://dx.doi.org/10.1007/978-3-642-40561-7_4

Type: Book Chapter

Book Title: Software Engineering and Formal Methods (2013)

Page Reference: 46-60

ISBN: 978-3-642-40560-0