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

Document Versions

Ordered SOS Process Languages for Branching and Eager Bisimulations –Irek Ulidowski, Iain Phillips — 2002 — INFORMATION AND COMPUTATION
Ordered SOS Process Languages for Branching and Eager Bisimulations –Irek Ulidowski, Iain Phillips — 2002