Quotient Machines, the Interface Equation and Protocol Conversion

DOI10.1093/COMJNL/43.1.24MaRDI QIDQ4950850zbMATH OpenOpenAlexFDO

Authors 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

interface equationprocess algebraprotocol engineering

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1008456
• Automated Synthesis of Protocol Converters with BALM-II
• Interface synthesis and protocol conversion
• Automated Technology for Verification and Analysis
• A discrete event systems approach for protocol conversion

Cited in

(4)

• A discrete event systems approach for protocol conversion
• Interface synthesis and protocol conversion
• scientific article; zbMATH DE number 1008456 (Why is no real title available?)
• Automated Technology for Verification and Analysis

Describes a project that uses

Uses Software

• Concurrency Workbench

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

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