Axiomatisations of Weak Equivalences for De Simone Languages (1995)

Cached

Download Links

by Irek Ulidowski
Venue:Proceedings of the 6th International Conference on Concurrency Theory CONCUR'95
Citations:9 - 2 self