When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
(493) contains the papers from CAAP. CCS for OO and LP. - An extended expansion theorem. - Concurrent abstract machines. - Knowledge and probability in distributed systems: Abstract. - Formal specification of object systems.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.