Algebraic Reasoning for Probabilistic Concurrent Systems (1990)

Cached

Download Links

by Alessandro Giacalone , Chi-chang Jou , Scott A. Smolka
Venue:Proc. IFIP TC2 Working Conference on Programming Concepts and Methods
Citations:94 - 5 self