scientific article

zbMATH Open0631.68027MaRDI QIDQ3768385

Joachim Parrow

Publication date: 1987

Title of this publication is not available (Why is that?)

zbMATH Keywords

alternating-bit protocolsCCS equationssemi-automatic programtop-down design methodology

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Related Items (1)

Submodule construction as equation solving in CCS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3768385)