Capturing Conflict and Confusion in CSP

DOI10.1007/978-3-540-73210-5_22MaRDI QIDQ3608892zbMATHOpenAlexFDO

Authors Christie Bolton

Publication date 6 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73210-5_22

zbMATH Keywords

CSPconflictPetri netsautomatic verificationtrue concurrencyconfusioninterleaving concurrency

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

• FM 2005: Formal Methods
• Fine-grained conflict resolution in constraint satisfaction problems
• Conflict-based program rewriting for solving configuration problems
• Communicating Sequential Processes. The First 25 Years
• Conflict-Driven Answer Set Enumeration
• Conflicts, configurations, situations and rough sets
• Conflict-driven answer set solving: from theory to practice

Cited in

(6)

• Building distributed controllers for systems with priorities
• Distributed implementation of systems with multiparty interactions and priorities
• Confusion analysis and detection for workflow nets
• Simulating truly concurrent CSP
• FM 2005: Formal Methods
• Confusion control in generalized Petri nets using synchronized events

This page was built for publication: Capturing Conflict and Confusion in CSP

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