scientific article; zbMATH DE number 3876567

MaRDI QIDQ3341874zbMATH OpenFDO

Authors Ana Cavalli, Luis Fariñas del Cerro

Publication date 1984

zbMATH Keywords

data transfer protocolliveness propertyspecificationtemporal logic

Mathematics Subject Classification ID

Theory of operating systems (68N25) Data structures (68P05)

Recommendations

• Temporal logic and applications—a tutorial
• scientific article; zbMATH DE number 3926217
• Development of communication protocols using algebraic and temporal specifications.
• scientific article; zbMATH DE number 4035111
• scientific article; zbMATH DE number 139996

Cited in

(9)

• A multiprocess network logic with temporal and spatial modalities
• Development of communication protocols using algebraic and temporal specifications.
• scientific article; zbMATH DE number 3926217 (Why is no real title available?)
• scientific article; zbMATH DE number 29557 (Why is no real title available?)
• Temporal logic and applications—a tutorial
• Tools and Methods for RTCP-Nets Modeling and Verification
• A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol
• Temporal logic based synthesis of experimentally constrained interaction networks
• Parameterized verification of time-sensitive models of ad hoc network protocols

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