Skip to content
cs-conference-ranking.org

First-Order Dynamic Logic for Compensable Processes.

Roberto Bruni, Carla Ferreira, Anne Kersten Kauer

VenueCCoordination
Year2012
ProceedingsCOORDINATION
DBLP recordconf/coordination/BruniFK12 ↗

Browse the full Coordination paper archive.