A constraint-based language for multiparty interactions

DOI10.1016/j.entcs.2020.08.003OpenAlexW3092353105WikidataQ113317319 ScholiaQ113317319MaRDI QIDQ2229145

Linda Brodo, Carlos Olarte

Publication date: 22 February 2021

Full work available at URL: https://doi.org/10.1016/j.entcs.2020.08.003

zbMATH Keywords

constraintsconcurrency theorymultiparty interactions

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• CC-Pi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Introduction to concurrency theory. Transition systems and CCS
• A calculus of mobile processes. I
• A calculus for cryptographic protocols: The spi calculus
• A formal approach to open multiparty interactions
• Twenty years of rewriting logic
• Models and emerging trends of concurrent constraint programming
• Observational and behavioural equivalences for soft concurrent constraint programming
• Open Multiparty Interaction
• Symbolic Semantics for Multiparty Interactions in the Link-Calculus
• Introduction to Bisimulation and Coinduction
• Network Conscious π-calculus: A Concurrent Semantics
• A Flat Process Calculus for Nested Membrane Interactions
• Verification Techniques for a Network Algebra
• Brane Calculi
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements

This page was built for publication: A constraint-based language for multiparty interactions