A Modular LTS for Open Reactive Systems

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

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

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

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)

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)