A constraint-based language for multiparty interactions

DOI10.1016/J.ENTCS.2020.08.003MaRDI QIDQ2229145zbMATH OpenOpenAlexWikidataFDO

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

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

Cited in

(2)

• Symbolic Semantics for Multiparty Interactions in the Link-Calculus
• scientific article; zbMATH DE number 6017835 (Why is no real title available?)

Describes a project that uses

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)