BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
analys (1)
languag (1)
core (1)
circuit (1)
primit (1)

Stem cml$ (all stems)

7 papers:

FMFM-2014-Woodcock #semantics
Engineering UToPiA — Formal Semantics for CML (JW), pp. 22–41.
POPLPOPL-2007-ReppyX #message passing
Specialization of CML message-passing primitives (JHR, YX), pp. 315–326.
DATEDATE-1999-AntakiSXA #design #testing
Design For Testability Method for CML Digital Circuits (BA, YS, NX, SA), pp. 360–367.
FASEFASE-1998-NielsonAN #analysis #behaviour #case study #safety
Behaviour Analysis and Safety Conditions: A Case Study in CML (HRN, TA, FN), pp. 255–269.
ICFPICFP-1997-GasserNN #analysis #control flow
Systematic Realisation of Control Flow Analyses for CML (KLSG, FN, HRN), pp. 38–51.
ICFPICFP-1996-FerreiraHJ #bisimulation #formal method
A Theory of Weak Bisimulation for Core CML (WF, MH, AJ), pp. 201–212.
PLDIPLDI-1991-Reppy #concurrent #higher-order #named
CML: A Higher-Order Concurrent Language (JHR), pp. 293–305.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.