Quotient Machines, the Interface Equation and Protocol Conversion

DOI10.1093/COMJNL/43.1.24zbMath0953.68009OpenAlexW2130776894MaRDI QIDQ4950850

A. D. Pengelly, Darrel C. Ince

Publication date: 27 April 2000

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/43.1.24

zbMATH Keywords

process algebrainterface equationprotocol engineering

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12)

Uses Software

• Concurrency Workbench

This page was built for publication: Quotient Machines, the Interface Equation and Protocol Conversion