A constraint-based language for multiparty interactions

DOI10.1016/J.ENTCS.2020.08.003OpenAlexW3092353105WikidataQ113317319 ScholiaQ113317319MaRDI QIDQ2229145FDOQ2229145

Authors: 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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Brane Calculi
• A calculus of mobile processes. I
• A calculus for cryptographic protocols: The spi calculus
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Models and emerging trends of concurrent constraint programming
• Title not available (Why is that?)
• Introduction to bisimulation and coinduction
• Twenty years of rewriting logic
• Network Conscious π-calculus: A Concurrent Semantics
• Introduction to concurrency theory. Transition systems and CCS
• A flat process calculus for nested membrane interactions
• A formal approach to open multiparty interactions
• Open Multiparty Interaction
• Symbolic Semantics for Multiparty Interactions in the Link-Calculus
• Title not available (Why is that?)
• Verification techniques for a network algebra
• Observational and behavioural equivalences for soft concurrent constraint programming

Cited In (2)

• Symbolic Semantics for Multiparty Interactions in the Link-Calculus
• Title not available (Why is that?)

Uses Software

• CC-Pi

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2229145)