A constraint-based language for multiparty interactions
From MaRDI portal
Publication:2229145
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)
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)