Skip to content

Expressiveness of Notations for Reasoning about Concurrency.

Cliff B. Jones

VenueBICECCS
Year2013
ProceedingsICECCS

Browse the full ICECCS paper archive.