Three Approaches to Timed External Choice in UTP

First Author: Canham S
Attributed to:  Systems Development: Domain-Specific Modelling funded by EPSRC


No abstract provided

Bibliographic Information

Digital Object Identifier:

Publication URI:

Type: Book Chapter

Book Title: Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers (2015)

Page Reference: 1-20

ISBN: 978-3-319-14805-2