Skip to content

Logic for communicating automata with parameterized topology.

Benedikt Bollig

VenueBCSL
Year2014
ProceedingsCSL-LICS

Browse the full CSL paper archive.