A Modular LTS for Open Reactive Systems

DOI10.1007/978-3-642-33475-7_10MaRDI QIDQ2915166zbMATH OpenOpenAlexFDO

Authors Fabio Gadducci, Giacoma Valentina Monreale, Ugo Montanari

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

• scientific article; zbMATH DE number 4085004
• scientific article; zbMATH DE number 1863181
• Theoretical Aspects of Computing - ICTAC 2004
• Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework
• scientific article; zbMATH DE number 2112979
• scientific article; zbMATH DE number 4124989

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915166)