On the specification of elementary reactive behaviour

DOI10.1007/3-540-58027-1_13OpenAlexW1490796108MaRDI QIDQ5890052

Axel Poigné, G. Michele Pinna

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

partial mappingstate formulacommunicate sequential processdata componentreactive behaviour

Mathematics Subject Classification ID

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

Related Items (1)

Causal behaviours and nets

Cites Work

• Unnamed Item
• Unnamed Item
• Specification-oriented semantics for communicating processes
• Modeling concurrency with partial orders
• On the nature of events

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