Skip to content

An Extensional Spatial Logic for Mobile Processes.

Daniel Hirschkoff

VenueBCONCUR
Year2004
ProceedingsCONCUR

Browse the full CONCUR paper archive.