Skip to content

On Weak Bisimilarities in CCSK.

Baptiste Valle, Ivan Lanese

VenueCRC
Year2026
ProceedingsRC

Browse the full RC paper archive.