scientific article
From MaRDI portal
Publication:2754167
zbMath0973.68167MaRDI QIDQ2754167
No author found.
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
Related Items
Reasoning about layered message passing systems ⋮ Propositional Dynamic Logic for Message-Passing Systems ⋮ Realizable temporal logics for web service choreography