Reasoning about layered message passing systems

DOI10.1016/j.cl.2004.02.003zbMath1072.68067OpenAlexW2023577083MaRDI QIDQ1886450

Yanyan Li

Publication date: 18 November 2004

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.cl.2004.02.003

zbMATH Keywords

DecidabilityMessage passingLayered diagramsLinear time temporal logicPartial order modelsSystem specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (4)

Sound concurrent traces for online monitoring ⋮ Propositional Dynamic Logic for Message-Passing Systems ⋮ Unnamed Item ⋮ Realizable temporal logics for web service choreography

Cites Work

• Decomposition of distributed programs into communication-closed layers
• Time, clocks, and the ordering of events in a distributed system
• Decidability of a partial order based temporal logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Reasoning about layered message passing systems