Capturing Conflict and Confusion in CSP

DOI10.1007/978-3-540-73210-5_22zbMATH Open1213.68408OpenAlexW108896188MaRDI QIDQ3608892FDOQ3608892

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

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

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)

Cited In (5)

• FM 2005: Formal Methods
• Distributed Implementation of Systems with Multiparty Interactions and Priorities
• Building distributed controllers for systems with priorities
• Confusion control in generalized Petri nets using synchronized events
• Confusion analysis and detection for workflow nets

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)