scientific article; zbMATH DE number 4014017

zbMATH Open0624.68030MaRDI QIDQ3026331FDOQ3026331

Robin Milner

Publication date: 1986

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

zbMATH Keywords

Calculus of communicating systemsnon-sequential processes

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Concurrency and atomicity
• Coupled similarity: the first 32 years
• A domain equation for bisimulation

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 Q3026331)