scientific article; zbMATH DE number 517246

MaRDI QIDQ4282632zbMATH OpenFDO

Authors R. Gotzhein

Publication date 23 February 1994

zbMATH Keywords

distributed systemsopen systemsrequirement specificationssystem designtemporal epistemic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal definition and representation of interaction points
• scientific article; zbMATH DE number 1182731
• A Branching Time Logical System for Open Distributed Systems Development
• scientific article; zbMATH DE number 839561
• Introduction to Reliable Distributed Programming

Cited in

(4)

• scientific article; zbMATH DE number 517215 (Why is no real title available?)
• Formal definition and representation of interaction points
• A Branching Time Logical System for Open Distributed Systems Development
• scientific article; zbMATH DE number 960189 (Why is no real title available?)

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 Q4282632)