Algebraic specification of reactive systems

DOI10.1016/S0304-3975(99)00212-1zbMath0944.68129MaRDI QIDQ1575270

N. Delaunay

Publication date: 21 August 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

process algebraalgebraic specification reactive systemsequational specification of reactive distributed systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Predicative specifications for functional programs describing communicating networks
• A theory for nondeterminism, parallelism, communication, and concurrency
• Semantics of finite and infinite networks of concurrent communicating agents
• A calculus of mobile processes. I
• A survey of stream processing
• A proof of the Kahn principle for input/output automata
• The algebra of stream processing functions

This page was built for publication: Algebraic specification of reactive systems