Stem cml$ (all stems)

7 papers:

FM-2014-Woodcock #semantics

Engineering UToPiA — Formal Semantics for CML (JW), pp. 22–41.

POPL-2007-ReppyX #message passing

Specialization of CML message-passing primitives (JHR, YX), pp. 315–326.

DATE-1999-AntakiSXA #design #testing

Design For Testability Method for CML Digital Circuits (BA, YS, NX, SA), pp. 360–367.

FASE-1998-NielsonAN #analysis #behaviour #case study #safety

Behaviour Analysis and Safety Conditions: A Case Study in CML (HRN, TA, FN), pp. 255–269.

ICFP-1997-GasserNN #analysis #control flow

Systematic Realisation of Control Flow Analyses for CML (KLSG, FN, HRN), pp. 38–51.

ICFP-1996-FerreiraHJ #bisimulation #formal method

A Theory of Weak Bisimulation for Core CML (WF, MH, AJ), pp. 201–212.

PLDI-1991-Reppy #concurrent #higher-order #named

CML: A Higher-Order Concurrent Language (JHR), pp. 293–305.