Skip to content

Open Bisimulation for the Concurrent Constraint Pi-Calculus.

Maria Grazia Buscemi, Ugo Montanari

VenueAESOP
Year2008
ProceedingsESOP

Browse the full ESOP paper archive.