Tracking CSP computations
type: Item
instance of: scholarly article
title: Tracking CSP computations
zbMATH Open document ID: 1408.68037
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2018-12-19T00:00:00Z
full work available at URL: http://hdl.handle.net/10251/145536
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6996005
zbMATH Keywords: concurrency theory
zbMATH Keywords: concurrency modeling
zbMATH Keywords: CSP
zbMATH Keywords: semantics
zbMATH Keywords: tracking
author: Marisa Llorens
author: J. Oliver
author: Josep Silva
author: Salvador Tamarit
describes a project that uses: TinyOS
describes a project that uses: ProB
describes a project that uses: FDR3
MaRDI profile type: Publication
OpenAlex ID: W2898021303
cites work: 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
cites work: A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications
cites work: Structure and properties of traces for functional programs
cites work: The program dependence graph and its use in optimization
cites work: FDR3 — A Modern Refinement Checker for CSP
cites work: Q3777424
cites work: Static slicing of explicitly synchronized languages
cites work: A Tracking Semantics for CSP
cites work: A calculus of communicating systems
cites work: Q3992568
cites work: SAT-solving in CSP trace refinement
cites work: Confluence Thanks to Extensional Determinism
cites work: Understanding concurrent systems
cites work: A vocabulary of program slicing-based techniques
cites work: Q5701004
cites work: Maximal Confluent Processes
cites work: Program Slicing
Wikidata QID: Q129055306
DOI: 10.1016/J.JLAMP.2018.10.002
description: scientific article; zbMATH DE number 6996005