Ordered SOS Process Languages for Branching and Eager Bisimulations (2002)

Cached

Download Links

by Irek Ulidowski , Iain Phillips
Venue:INFORMATION AND COMPUTATION
Citations:2 - 0 self