scientific article; zbMATH DE number 3890718

zbMATH Open0558.68026MaRDI QIDQ3347282FDOQ3347282

Authors:

Publication date: 1984

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• A multiprocess network logic with temporal and spatial modalities
• Title not available (Why is that?)
• 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)