scientific article; zbMATH DE number 1258216

MaRDI QIDQ4229096zbMATH OpenFDO

Authors Michaela Huhn

Publication date 3 March 1999

zbMATH Keywords

design of distributed systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Network design and communication in computer systems (68M10)

Recommendations

• scientific article; zbMATH DE number 1377375
• Action refinement and property inheritance in systems of sequential agents
• Specification styles in distributed systems design and verification
• Distributed Synthesis for Alternating-Time Logics

Cited in

(4)

• scientific article; zbMATH DE number 2086946 (Why is no real title available?)
• scientific article; zbMATH DE number 2080776 (Why is no real title available?)
• Composition of temporal-logic specifications. Specification and verification of systems with temporal logic of distributed actions
• Towards the hierarchical verification of reactive systems

This page was built for publication:

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