Skip to content

A Logic for True Concurrency.

Paolo Baldan, Silvia Crafa

VenueBCONCUR
Year2010
ProceedingsCONCUR

Browse the full CONCUR paper archive.