Algebraic specification of reactive systems

DOI10.1016/S0304-3975(99)00212-1MaRDI QIDQ1575270zbMATH OpenFDO

Authors N. Delaunay, Manfred Broy

Publication date 21 August 2000

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

Full work available at URL https://doi.org/10.1016/S0304-3975(99)00212-1

zbMATH Keywords

algebraic specification reactive systemsequational specification of reactive distributed systemsprocess algebra

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3872655
• scientific article; zbMATH DE number 4110066
• scientific article; zbMATH DE number 3936493
• scientific article; zbMATH DE number 1497880
• Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings

Cites work

• A calculus of mobile processes. I
• A proof of the Kahn principle for input/output automata
• A survey of stream processing
• A theory for nondeterminism, parallelism, communication, and concurrency
• scientific article; zbMATH DE number 3837349 (Why is no real title available?)
• scientific article; zbMATH DE number 3898216 (Why is no real title available?)
• scientific article; zbMATH DE number 3714908 (Why is no real title available?)
• scientific article; zbMATH DE number 3566181 (Why is no real title available?)
• scientific article; zbMATH DE number 3349291 (Why is no real title available?)
• Predicative specifications for functional programs describing communicating networks
• Semantics of finite and infinite networks of concurrent communicating agents
• The algebra of stream processing functions

Cited in

(5)

• Algebraic specification and proof of a distributed recovery algorithm
• Design of reactive algorithms by solving equations over automata
• scientific article; zbMATH DE number 4110066 (Why is no real title available?)
• scientific article; zbMATH DE number 2062239 (Why is no real title available?)
• Recent Trends in Algebraic Development Techniques

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

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