CCSP

swMATH111MaRDI QIDQ12881FDOQ12881

Author name not available (Why is that?)

Described by source

• CCSP: A formal system for distributed program debugging

Cited In (11)

• A formal model for BPEL4WS description of Web service composition
• On duality of behavioural systems
• CONCUR 2003 - Concurrency Theory
• Reactive local search techniques for the maximum \(k\)-conjunctive constraint satisfaction problem \((MAX-k-CCSP)\)
• ShaLTeRR: a contribution to short and long-term redundancy reduction in digital signals
• Title not available (Why is that?)
• Assumption-Based Pruning in Conditional CSP
• Title not available (Why is that?)
• An Extended cCSP with Stable Failures Semantics
• A job-splitting heuristic for lot-size scheduling in multi-stage, multi- product production processes
• The complexity of global cardinality constraints

This page was built for software: CCSP