Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
View source
View history
Discussion
English
Log in

CCSP

From MaRDI portal
(Redirected from Software:12881)
Jump to:navigation, search



swMATH111MaRDI QIDQ12881FDOQ12881


Author name not available (Why is that?)

Official website: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.49.8800&rep=rep1&type=pdf



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
  • 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
  • Bundle event structures and CCSP.
  • Assumption-Based Pruning in Conditional CSP
  • A greedy algorithm for capacity-constrained surrogate placement in CDNs
  • 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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=CCSP&oldid=56522277"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 13 March 2026, at 12:06. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki