[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
p61: "Any general purpose concurrency mechanism should reduce to a coroutine mechanism" [ when only one processing unit is available].
p63: "A fully defined contract implies a no hidden clause property: clients theat 'play by the rule,' observibg the precodition of a call, are guaranteed to obitan the result, as expressed by the postcondition." ... leads to treating pre-conditions as wait conditions in a concuurent (separate) process....informal semantics p67
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]