Tracking CSP computations

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

zbMATH Keywords

trackingsemanticsCSPconcurrency theoryconcurrency modeling

Mathematics Subject Classification ID

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

• TinyOS
• ProB
• FDR3

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