Specifying termination in CSP

DOI10.1016/J.TCS.2013.05.008MaRDI QIDQ407510zbMATHOpenAlexFDO

Authors Paul Howells, Mark d'Inverno

Publication date 2 September 2014

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2013.05.008

zbMATH Keywords

CSPconcurrencyterminationparallel operators

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Modeling the distributed termination convention of CSP
• A CSP model with flexible parallel termination semantics
• Termination of constraint logic programs
• scientific article; zbMATH DE number 1538008
• Termination of context-sensitive rewriting
• scientific article; zbMATH DE number 2080285
• scientific article; zbMATH DE number 2102742
• Conflict-driven conditional termination
• scientific article; zbMATH DE number 1088214

Cites work

• scientific article; zbMATH DE number 3902016 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3707731 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A CSP model with flexible parallel termination semantics
• A Theory of Communicating Sequential Processes
• A brief history of Timed CSP
• A timed model for communicating sequential processes
• Process Algebra
• Specification and Proof in Real Time CSP
• Termination, deadlock, and divergence
• The timed failures -- Stability model for CSP
• Understanding concurrent systems
• Unifying theories for logic programming

Cited in

(4)

• Termination, deadlock and divergence
• A CSP model with flexible parallel termination semantics
• Sequential composition in the presence of intermediate termination (extended abstract)
• Modeling the distributed termination convention of CSP

Describes a project that uses

Uses Software

• FDR2

This page was built for publication: Specifying termination in CSP

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