The Functional Specification of OCCAM Programs for Time Critical Applications

Patrick Nixon, P Croll

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Unknown Host Publication
Publisher	IOS Press
Pages	131-144
Number of pages	14
ISBN (Print)	9051991215
Publication status	Published (in print/issue) - 1993
Event	Proceedings of WoTUG-16:Transputer and Occam Research : New Directions - Sheffield University, UK Duration: 1 Jan 1993 → …

Conference	Proceedings of WoTUG-16:Transputer and Occam Research : New Directions
Period	1/01/93 → …

Keywords

@inproceedings{34a2ecba6a504e688a15b40462d14cf4,

title = "The Functional Specification of OCCAM Programs for Time Critical Applications",

keywords = "n/a",

author = "Patrick Nixon and P Croll",

year = "1993",

language = "English",

isbn = "9051991215",

pages = "131--144",

booktitle = "Unknown Host Publication",

publisher = "IOS Press",

address = "Netherlands",

note = "Proceedings of WoTUG-16:Transputer and Occam Research : New Directions ; Conference date: 01-01-1993",

}