Verified Parameterized Choreographies Technical Report
Robert Rubbens, Petra van den Bos, Marieke Huisman
TL;DR
This technical report provides comprehensive definitions, projection rules, and supplementary artefacts for verified parameterized choreographies, aiding formal analysis of complex distributed systems.
Contribution
It offers detailed formal definitions and projection rules for verified parameterized choreographies, enhancing the rigor of modeling distributed interactions.
Findings
Provides complete formal definitions and rules
Includes supplementary artefacts for verification
Supports rigorous analysis of distributed systems
Abstract
This technical report contains the full set of definitions and projection rules of the paper ``Verified Parameterized Choreographies'' by Rubbens et al. It also supplements the artefact.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsModular Robots and Swarm Intelligence · Robotic Locomotion and Control · DNA and Biological Computing