TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I

DOI10.1142/S0129054192000103MaRDI QIDQ4020485zbMATH OpenOpenAlexFDO

Authors Kamal Lodaya, P. S. Thiagarajan, Ramaswamy Ramanujam

Publication date 16 January 1993

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054192000103

zbMATH Keywords

distributed systemsfamily of indexed temporal logicsknowledgelogics of programsreasoning about distributed systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1330137
• Labelled tableaux for distributed temporal logic
• scientific article; zbMATH DE number 1678358
• scientific article; zbMATH DE number 4112564
• scientific article; zbMATH DE number 2088655

Cited in

(8)

• scientific article; zbMATH DE number 1678358 (Why is no real title available?)
• A -calculus with local views for systems of sequential agents
• scientific article; zbMATH DE number 1330137 (Why is no real title available?)
• scientific article; zbMATH DE number 1497792 (Why is no real title available?)
• Decidability of a partial order based temporal logic
• Distributed temporal logic for the analysis of security protocol models
• Models and logics for true concurrency.
• Model checking distributed temporal logic

This page was built for publication: TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I

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