scientific article; zbMATH DE number 3890718

MaRDI QIDQ3347282zbMATH OpenFDO

Authors

Publication date 1984

zbMATH Keywords

typesparallelismtemporal logicprocessesmany-sorted logicmaximum semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4112564
• A multiprocess network logic with temporal and spatial modalities
• scientific article; zbMATH DE number 218548
• Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings
• scientific article; zbMATH DE number 4089533

Cited in

(5)

• A multiprocess network logic with temporal and spatial modalities
• scientific article; zbMATH DE number 4112564 (Why is no real title available?)
• A Temporal Logic for Multi-threaded Programs
• Concurrent and maximally concurrent evolution of nonsequential systems
• TTL : a formalism to describe local and global properties of distributed 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 Q3347282)