A Denotational Semantics for Parameterised Networks of Synchronised Automata

DOI10.1007/978-3-319-52228-9_5zbMath1483.68234OpenAlexW2569078323MaRDI QIDQ2971177

Si-Qi Li, Eric Madelaine

Publication date: 4 April 2017

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01417662/file/UTP-2016.pdf

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• PICCOLA

Cites Work

• Unnamed Item
• Unnamed Item
• Compositional semantics for real-time distributed computing
• A Theory for the Composition of Concurrent Processes
• Global Computing

This page was built for publication: A Denotational Semantics for Parameterised Networks of Synchronised Automata