Frontiers of Combining Systems
From MaRDI portal
Publication:5491896
DOI10.1007/11559306zbMATH Open1171.03323OpenAlexW4205914269MaRDI QIDQ5491896
Publication date: 10 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11559306
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
Related Items (3)
Title not available (Why is that?) ⋮ A Branching Time Logical System for Open Distributed Systems Development ⋮ A multiprocess network logic with temporal and spatial modalities
Uses Software
This page was built for publication: Frontiers of Combining Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5491896)
