© University of Kent - Contact | Feedback | Legal | FOI | Cookies
User-Defined Data Types and Operators in occam
D.C. Wood and J. Moores
In B.M.Cook, editor, Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering Series, pages 182-196, Amsterdam, the Netherlands, April 1999. WoTUG, IOS Press. Download publication 68 kbytes (PDF)Bibtex Record
@inproceedings{752,
author = {D.C. Wood and J. Moores},
title = {{U}ser-{D}efined {D}ata {T}ypes and {O}perators in occam},
month = {April},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/752},
ISBN = {90 5199 480 X},
address = {Amsterdam, the Netherlands},
booktitle = {Architectures, Languages and Techniques for Concurrent Systems},
editor = {B.M.Cook},
organization = {WoTUG},
publisher = {IOS Press},
refereed = {Yes},
series = {Concurrent Systems Engineering Series},
volume = {57},
}