CCSP: A formal system for distributed program debugging. One of the major problems with programming in a parallel/distributed environment is the difficulty in debugging the programs due to their complex interactions. One can have results that appear random, but when given a complete knowledge of the specific run-time bahavior, the results are foregone. Unfortunately, this complete knowledge is not generally atainable in a distributed system. In order to develop a system for debugging distributed programs and, for the more general case, ensuring their correctness at run-time, we built a distributed execution environment based on Hoare’s CSP which allows for the execution and evaluation of embedded assertions within the CSP program.

References in zbMATH (referenced in 14 articles , 1 standard article )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Bulatov, Andrei A.; Marx, Daniel: The complexity of global cardinality constraints (2010)
  2. Chen, Zhenbang; Liu, Zhiming: An extended cCSP with stable failures semantics (2010)
  3. Boucheham, Bachir: ShaLTeRR: a contribution to short and long-term redundancy reduction in digital signals (2007)
  4. Chen, Yifeng; He, Yanxiang; Cao, Jiannong: A greedy algorithm for capacity-constrained surrogate placement in CDNs (2007)
  5. Gu, Xiwu; Lu, Zhengding: A formal model for BPEL4WS description of web service composition (2006)
  6. Geller, Felix; Veksler, Michael: Assumption-based pruning in conditional CSP (2005)
  7. Sabin, Mihaela; Freuder, Eugene C.; Wallace, Richard J.: Greater efficiency for conditional constraint satisfaction (2003) ioport
  8. van Glabbeek, Rob; Vaandrager, Frits: Bundle event structures and CCSP. (2003)
  9. Pillai, Harish K.; Narayanan, H.: On duality of behavioural systems (2002)
  10. Battiti, Roberto; Protasi, Marco: Reactive local search techniques for the maximum $k$-conjunctive constraint satisfaction problem $(MAX-k-CCSP)$ (1999)
  11. Alimonti, Paola: Non-oblivious local search for MAX 2-CCSP with application to MAX DICUT (1997)
  12. Arrowsmith, Beth; McMillin, Bruce: CCSP: A formal system for distributed program debugging (1995)
  13. El-Najdawi, M.K.: A job-splitting heuristic for lot-size scheduling in multi-stage, multi- product production processes (1994)
  14. El-Najdawi, Mohammad K.; Kleindorfer, Paul R.: Common cycle lot-size scheduling for multi-product, multi-stage production (1993)