The Seal Calculus Revisited: contextual equivalence and bisimilarity (2003)

Cached

Download Links

by Giuseppe Castagna , Francesco Zappa Nardelli
Citations:23 - 3 self