Skip to content

Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog.

Michael Leuschel

VenueCPADL
Year2001
ProceedingsPADL

Browse the full PADL paper archive.