On the specification of elementary reactive behaviour

DOI10.1007/3-540-58027-1_13MaRDI QIDQ5890052zbMATH OpenOpenAlexFDO

Authors G. Michele Pinna, Axel Poigné

Publication date 28 April 2023

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

Full work available at URL https://doi.org/10.1007/3-540-58027-1_13

zbMATH Keywords

communicate sequential processdata componentpartial mappingreactive behaviourstate formula

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Logical specification of reactive and real-time systems
• On the nature of events: another perspective in concurrency
• An abstract account of composition
• On the nature of events
• Functional specification and proof of correctness for time dependent behaviour of reactive systems

Cites work

• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Modeling concurrency with partial orders
• On the nature of events
• Specification-oriented semantics for communicating processes

Cited in

(9)

• Functional specification and proof of correctness for time dependent behaviour of reactive systems
• scientific article; zbMATH DE number 1696878 (Why is no real title available?)
• scientific article; zbMATH DE number 2090517 (Why is no real title available?)
• Causal behaviours and nets
• On the nature of events
• scientific article; zbMATH DE number 7308363 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Algebra and Coalgebra in Computer Science
• A hybrid dynamic logic for event/data-based systems

This page was built for publication: On the specification of elementary reactive behaviour

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