A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic Choice

DOI10.1007/978-3-319-10882-7_21zbMath1432.68315OpenAlexW2274629768MaRDI QIDQ2938173

Filippo Bonchi, Frank D. Valencia, Luis F. Pino

Publication date: 13 January 2015

Published in: Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01006382v2/file/ictac14-final.pdf

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Observational and behavioural equivalences for soft concurrent constraint programming