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.
Series Handbook of Logic in Computer Science. Short Title HANDBK OF LOGIC IN COMPUTER SC. 1: Models for concurrency2: Concrete process alegbra3: Correspondence between operational and denotational semantics: the full abstraction problem for PCF4: Effective algebras5: Abstract interpretation: a semantics based tool for program analysis.
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.