A Modular LTS for Open Reactive Systems

DOI10.1007/978-3-642-33475-7_10zbMATH Open1362.68212OpenAlexW1541811597MaRDI QIDQ2915166

Ugo Montanari, Fabio Gadducci, Giacoma Valentina Monreale

Publication date: 21 September 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33475-7_10

zbMATH Keywords

open reactive systemslabelled transitionstile systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework 👍 👎
• Theoretical Aspects of Computing - ICTAC 2004 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: A Modular LTS for Open Reactive Systems