TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I

DOI10.1142/S0129054192000103zbMath0754.68085OpenAlexW2040489949MaRDI QIDQ4020485

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 systemsknowledgelogics of programsfamily of indexed temporal logicsreasoning about distributed systems

Mathematics Subject Classification ID

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

Related Items (4)

Unnamed Item ⋮ Decidability of a partial order based temporal logic ⋮ Distributed temporal logic for the analysis of security protocol models ⋮ Models and logics for true concurrency.

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