DMCA

Complete Axiomatisations of Weak-, Delay- and η-Bisimulation for Process Algebras with Alternative Quantification over Data (1999)

Cached

Download Links

by S. P. Luttik