Cysteine string protein (CSP), a 34-kDa molecular chaperone, is expressed on synaptic vesicles in neurons and on secretory vesicles in endocrine, neuroendocrine, and exocrine cells. CSP can be found in a complex with two other chaperones, the heat shock cognate protein Hsc70, and small glutamine-rich tetratricopeptide repeat domain protein (SGT). CSP function is vital in synaptic transmission; ...

Although the deep affinity between Graphplan’s backward search, and the process of solving constraint satisfaction problems has been noted earlier, these relations have hither-to been primarily used to adapt CSP search techniques into the backward search phase of Graphplan. This paper describes GP-CSP, a system that does planning by automatically converting Graphplan’s planning graph into a CSP...

The language Csp-Casl combines specifications of data and processes. We give an institution based semantics to Csp-Casl that allows us to re-use the institution independent structuring mechanisms of Casl. Furthermore, we extend Csp-Casl with a notion of refinement that reconciles the differing philosophies behind the refinement notions for Csp and Casl. We develop a compositional proof calculus...

We consider worst case time bounds for NP-complete problems including 3-SAT, 3-coloring, 3-edge-coloring, and 3-list-coloring. Our algorithms are based on a constraint satisfaction (CSP) formulation of these problems. 3-SAT is equivalent to (2, 3)-CSP while the other problems above are special cases of (3, 2)-CSP; there is also a natural duality transformation from (a, b)-CSP to (b, a)-CSP. We ...

CSP is a process algebra defined by Hoare. The first semantics associated with CSP was a denotational semantics in terms of traces, failures and divergences. Later an operational semantics was added [7]. CSP has been applied in many applications, notably for security protocols [6]. The most widely used tools today are fdr [2] and ProBE [3]. These tools use a syntax called machine readable CSP (...

Many problems in multi-agent systems can be described as a distributed CSP. However, some real-life problem can be over-constrained and without a set of consistent variable values when described as a distributed CSP. We have presented a distributed partial CSP for handling such an over-constrained situation and a distributed maximal CSP as a subclass of distributed partial CSP. In this paper, w...

Patients with a lymphohematopoietic malignancy considered to be at high risk for posttransplant relapse were enrolled in a study to compare the use of cyclosporine (CSP) as a single agent with a combination of methylprednisolone (MP) and CSP for graft-versus-host disease (GVHD) prophylaxis after marrow transplantation from an HLA-identical sibling donor. Sixty patients were randomized to receiv...

The heat shock protein 70 family members Hsc70 and Hsp70 are known to play a protective role against the onset of experimental pancreatitis, yet their molecular function in acini is unclear. Cysteine string protein (CSP-alpha) is a zymogen granule (ZG) membrane protein characterized by an NH(2)-terminal "J domain" and a central palmitoylated string of cysteine residues. The J domain functions a...

CSP-Agda is a library, which formalises the process algebra CSP in the interactive theorem prover Agda using coinductive data types. In CSP-Agda, CSP processes are in monadic form, which supports a modular development of processes. In this paper, we implement two main models of CSP, trace and stable failures semantics, in CSP-Agda, and define the corresponding refinement and equality relations....