A ν-calculus with local views for systems of sequential agents
From MaRDI portal
Publication:3569046
DOI10.1007/3-540-60246-1_161zbMath1193.68166OpenAlexW1519677610MaRDI QIDQ3569046
Publication date: 17 June 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60246-1_161
Formal languages and automata (68Q45) 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 (7)
Pure future local temporal logics are expressively complete for Mazurkiewicz traces ⋮ A tableau proof system for a mazurkiewicz trace logic with fixpoints ⋮ On hierarchically developing reactive systems ⋮ Local temporal logic is expressively complete for cograph dependence alphabets ⋮ From local to global temporal logics over Mazurkiewicz traces. ⋮ An expressively complete linear time temporal logic for Mazurkiewicz traces ⋮ LTL is expressively complete for Mazurkiewicz traces
This page was built for publication: A ν-calculus with local views for systems of sequential agents