Stem ccp$ (all stems)

6 papers:

SAC-2012-AristizabalBVP #refinement #similarity

Partition refinement for bisimilarity in CCP (AA, FB, FDV, LFP), pp. 88–93.

PPDP-2008-OlarteV #monad #security

The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security (CO, FDV), pp. 8–19.

ICLP-2004-PaluDF #simulation

Protein Folding Simulation in CCP (ADP, AD, FF), pp. 452–453.

LOPSTR-1999-BertolinoEP #source code

The Replacement Operation for CCP Programs (MB, SE, CP), pp. 216–233.

PEPM-1997-EtalleGM #scheduling

A Transformation System for CLP with Dynamic Scheduling and CCP (SE, MG, EM), pp. 137–150.

ICLP-1995-Brand #algorithm #graph

A Decision Graph Algorithm for CCP Languages (PB), pp. 433–447.