A logical process calculus

DOI10.1016/S1571-0661(05)80362-7MaRDI QIDQ2842601zbMATH OpenFDO

Authors Ranee Cleaveland, Gerald Lüttgen

Publication date 15 August 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(05)80362-7

Mathematics Subject Classification ID

Temporal logic (03B44) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4119599
• A refinement calculus for specifications in Hennessy-Milner logic with recursion
• A predicate spatial logic for mobile process
• A language for the logical specification of processes and relations
• scientific article; zbMATH DE number 4210119

Cites work

• scientific article; zbMATH DE number 4180789 (Why is no real title available?)
• scientific article; zbMATH DE number 3902016 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 1361140 (Why is no real title available?)
• scientific article; zbMATH DE number 734956 (Why is no real title available?)
• scientific article; zbMATH DE number 2080212 (Why is no real title available?)
• scientific article; zbMATH DE number 1497811 (Why is no real title available?)
• scientific article; zbMATH DE number 1863165 (Why is no real title available?)
• A fixpoint approach to finite delay and fairness
• A logic for the description of non-deterministic programs and their properties
• Algebraic laws for nondeterminism and concurrency
• Characteristic formulae for processes with divergence
• Compositional failure-based semantic models for basic LOTOS
• Divergence and fair testing
• Handbook of process algebra
• Modal logics and mu-calculi: An introduction
• Modal logics for communicating systems
• Testing equivalences for processes
• The expressive power of implicit specifications
• Three logics for branching bisimulation
• Trace, failure and testing equivalences for communicating processes

Cited in

(15)

• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 1424056 (Why is no real title available?)
• Conjunction on processes: Full abstraction via ready-tree semantics
• scientific article; zbMATH DE number 4119599 (Why is no real title available?)
• A Logical Viewpoint on Process-algebraic Quotients
• A semantic framework for open processes
• A refinement calculus for specifications in Hennessy-Milner logic with recursion
• Deterministic process logic is elementary
• A Logical Calculus for Modelling Interferences
• scientific article; zbMATH DE number 2158986 (Why is no real title available?)
• On recursive operations over logic LTS
• Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\)
• Process logic with regular formulas
• Process in Reality: A logical offering
• From process logic to program logic

This page was built for publication: A logical process calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842601)