Skip to content

The Freedoms of Guarded Bisimulation.

Martin Otto

VenueBCSL
Year2011
ProceedingsCSL

Browse the full CSL paper archive.