Skip to content

Translating synchronous guarded actions to interleaved guarded actions.

Manuel Gesell, Klaus Schneider

Year2013
ProceedingsMEMOCODE

Browse the full MEMOCODE paper archive.