Process algebra and model checking

DOI10.1007/978-3-319-10575-8_32MaRDI QIDQ3176390zbMATH OpenOpenAlexFDO

Authors Rance Cleaveland, A. W. Roscoe, Scott A. Smolka

Publication date 20 July 2018

Published in Handbook of Model Checking (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10575-8_32

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1412988
• scientific article; zbMATH DE number 4016181
• scientific article; zbMATH DE number 4064457
• Lectures on Concurrency and Petri Nets
• Automatic verification of distributed systems: the process algebra approach.

Cites work

• scientific article; zbMATH DE number 1670807 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3902016 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 176736 (Why is no real title available?)
• scientific article; zbMATH DE number 177532 (Why is no real title available?)
• scientific article; zbMATH DE number 1306878 (Why is no real title available?)
• scientific article; zbMATH DE number 1418468 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A calculus of communicating systems
• A calculus of mobile processes. I
• A timed model for communicating sequential processes
• Abstraction and abstraction refinement
• Algebra of communicating processes with abstraction
• Algebraic laws for nondeterminism and concurrency
• Axiomatizing probabilistic processes: ACP with generative probabilities
• Branching time and abstraction in bisimulation semantics
• CCS expressions, finite state processes, and three problems of equivalence
• CSP is expressive enough for \(\pi\)
• Checking noninterference in timed CSP
• Combining the box structure development method and CSP for software development
• Communicating Sequential Processes. The First 25 Years
• Communicating Sequential Processes. The First 25 Years
• Communicating Sequential Processes. The First 25 Years
• Communicating sequential processes
• FDR3 -- a modern refinement checker for CSP
• Generic tools for verifying concurrent systems
• Handbook of process algebra
• Modeling and analysis of communicating systems
• On the equivalence, containment, and covering problems for the regular and context-free languages
• Partial-order reduction in the weak modal mu-calculus
• Probabilistic and prioritized models of timed CSP
• Process Algebra
• Real time process algebra
• Results on the propositional \(\mu\)-calculus
• SAT-solving in CSP trace refinement
• Slow abstraction via priority
• Static Livelock Analysis in CSP
• Testing equivalence as a bisimulation equivalence
• The -calculus: A theory of mobile processes
• Three Partition Refinement Algorithms
• Unbounded Non-determinism in CSP
• Understanding concurrent systems
• What good are digital clocks?

Cited in

(23)

• scientific article; zbMATH DE number 1759612 (Why is no real title available?)
• Automatic verification of distributed systems: the process algebra approach.
• Problem solving using process algebra considered insightful
• Modular specification of process algebras
• An algebraic and algorithmic method for analysing transition systems
• scientific article; zbMATH DE number 3963182 (Why is no real title available?)
• Static analysis of IMC
• A bulk-synchronous parallel process algebra
• Process algebras for systems diagnosis.
• scientific article; zbMATH DE number 1884420 (Why is no real title available?)
• On the usability of process algebra: An architectural view
• scientific article; zbMATH DE number 5181778 (Why is no real title available?)
• Process algebra extended with price information
• The algorithmics of bisimilarity
• scientific article; zbMATH DE number 5181785 (Why is no real title available?)
• Dynamic consistency in process algebra: from paradigm to ACP
• scientific article; zbMATH DE number 58291 (Why is no real title available?)
• scientific article; zbMATH DE number 2079828 (Why is no real title available?)
• Compositional reasoning
• Monte Carlo methods for process algebra
• Process algebra for modal transition systemses
• scientific article; zbMATH DE number 4016181 (Why is no real title available?)
• Modeling and verification of reconfigurable printing system based on process algebra

Describes a project that uses

Uses Software

• Easychair
• PAT
• FDR3
• LTSmin
• Casper

This page was built for publication: Process algebra and model checking

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