[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Two modes: asynchronous- after sending the sender does not wait, semi-synchronous - the sender will not send a message of the same type to the same receiver before the first message has been acknowledged by the receiver.
Assumes arbitrary delays and that messages can get out of order.
TLA formalization via send[a](M)::=net:| a><M.... Conclusions Now need to investigate inheritance. must spec both components and protocols...
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]