Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
From MaRDI portal
Publication:516036
DOI10.1016/j.jlamp.2016.09.002zbMath1362.68038OpenAlexW2521312856MaRDI QIDQ516036
Publication date: 20 March 2017
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01412911/file/Evrard-Lang-16-auteur.pdf
Theory of compilers and interpreters (68N20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (1)
Uses Software
Cites Work
- Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
- Formal techniques for distributed systems. Joint IFIP WG 6.1 international conference, FMOODS/FORTE 2013, held as part of the 8th international federated conference on distributed computing techniques, DisCo Tec 2013, Florence, Italy, June 3--5, 2013. Proceedings
- Compositional verification of asynchronous concurrent systems using CADP
- Compositional Choreographies
- Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
- Deadlock-freedom-by-design
- SCADE: Synchronous Design and Validation of Embedded Control Software
- Guarded commands, nondeterminacy and formal derivation of programs
- Reo: a channel-based coordination model for component composition
- On Distributability in Process Calculi
- Tools and Algorithms for the Construction and Analysis of Systems
- System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation
- Decoding choice encodings
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous
