Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

CCSP

From MaRDI portal
Software:12881
Jump to:navigation, search



swMATH111MaRDI QIDQ12881


No author found.




Described by source

  • CCSP: A formal system for distributed program debugging


Related Items (11)

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


This page was built for software: CCSP

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:12881&oldid=29436592"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 5 March 2024, at 20:07.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki