Tracking CSP computations
From MaRDI portal
Publication:1633350
DOI10.1016/j.jlamp.2018.10.002zbMath1408.68037OpenAlexW2898021303MaRDI QIDQ1633350
Javier Oliver, Josep Silva, Marisa Llorens, Salvador Tamarit
Publication date: 19 December 2018
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10251/145536
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)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Static slicing of explicitly synchronized languages
- SAT-solving in CSP trace refinement
- A calculus of communicating systems
- Understanding concurrent systems
- Communicating sequential processes. The first 25 years. Symposium on the occasion of 25 years of CSP, London, UK, July 7--8, 2004. Revised invited papers
- Structure and Properties of Traces for Functional Programs
- A vocabulary of program slicing-based techniques
- Maximal Confluent Processes
- Program Slicing
- A Tracking Semantics for CSP
- The program dependence graph and its use in optimization
- A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
- Confluence Thanks to Extensional Determinism
- FDR3 — A Modern Refinement Checker for CSP
This page was built for publication: Tracking CSP computations
