Spatial and Epistemic Modalities in Constraint-Based Process Calculi.

Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia

Browse the full CONCUR paper archive.