Relational Concurrent Refinement Part II: Internal Operations and Outputs
Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-007-0066-z
Full Text
Open PDFAbstract
Available in full text
Date
January 4, 2008
Authors
Publisher
Springer Science and Business Media LLC