Sound reasoning in \textit{tock}-CSP

DOI10.1007/s00236-020-00394-3zbMath1483.68223OpenAlexW3155740349MaRDI QIDQ2120813

Ana Cavalcanti, Pedro Ribeiro, James Baxter

Publication date: 1 April 2022

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-020-00394-3

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Testing using CSP Models: Time, Inputs, and Outputs

Uses Software

• Isabelle/HOL
• PVS
• ProB
• Z
• CSP-prover
• FDR3
• PAT
• Esterel
• GitHub

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Refusal testing
• Priorities in process algebras
• Calculi for synchrony and asynchrony
• A timed model for communicating sequential processes
• A calculus of communicating systems
• The algebra of timed processes, ATP: Theory and application
• Isabelle/HOL. A proof assistant for higher-order logic
• Reducing complex CSP models to traces via priority
• A process algebra for timed systems
• Discrete time process algebra
• Translating between models of concurrency
• Understanding concurrent systems
• The expressiveness of CSP with priority
• Timed CSP = Closed Timed Automata1
• Specification and Proof in Real Time CSP
• FDR3 — A Modern Refinement Checker for CSP
• Tools and Algorithms for the Construction and Analysis of Systems