CONCUR 2004 - Concurrency Theory
From MaRDI portal
Publication:5311478
DOI10.1007/b100113zbMath1099.03018OpenAlexW2499482941MaRDI QIDQ5311478
Dirk Pattinson, Corina Cîrstea
Publication date: 23 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100113
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator ⋮ A finite model construction for coalgebraic modal logic ⋮ Coalgebraic trace semantics via forgetful logics ⋮ Completeness for \(\mu\)-calculi: a coalgebraic approach ⋮ Stochastic coalgebraic logic: bisimilarity and behavioral equivalence ⋮ Completeness for the modal \(\mu\)-calculus: separating the combinatorics from the dynamics ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ A compositional approach to defining logics for coalgebras ⋮ A modular approach to defining and characterising notions of simulation ⋮ CoLoSS: The Coalgebraic Logic Satisfiability Solver ⋮ Bialgebraic Methods in Structural Operational Semantics
