A Tool for Checking the CSP sat Property

DOI10.1093/COMJNL/43.1.13zbMATH Open0953.68005OpenAlexW2117702215MaRDI QIDQ4950849FDOQ4950849

Authors: J. M. R. Martin 

Publication date: 27 April 2000

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/43.1.13

Recommendations

• scientific article; zbMATH DE number 1241716
• Model checking CSP based on ASP and critical-trace model of CSP
• Model-checking CSP-Z: Strategy, tool support and industrial application
• Process algebra and model checking

zbMATH Keywords

algebraic languagecommunicating processes

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Cited In (1)

• Title not available (Why is that?)

This page was built for publication: A Tool for Checking the CSP sat Property

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