Reasoning about Composition using Property Transformers and their Conjugates (2000)

Cached

Download Links

by Michel Charpentier , K. Mani Chandy
Venue:Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics (IFIP-TCS’2000), volume 1872 of Lecture Notes in Computer Science
Citations:5 - 3 self