A discrete event systems approach for protocol conversion

DOI10.1023/A:1008258331497MaRDI QIDQ1361804zbMATH OpenOpenAlexFDO

Authors Ratnesh Kumar, Sudhir Nelvalgal, Steven I. Marcus

Publication date 18 September 1997

Published in Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1008258331497

zbMATH Keywords

discrete event systemssupervisory controlconverter languagesprotocol converter

Mathematics Subject Classification ID

Communication networks in operations research (90B18) Discrete event control/observation systems (93C65) Network protocols (68M12)

Recommendations

• A protocol converter for nonblocking protocols
• Interface synthesis and protocol conversion
• Automated Synthesis of Protocol Converters with BALM-II
• Quotient Machines, the Interface Equation and Protocol Conversion
• scientific article; zbMATH DE number 434956

Cited in

(15)

• scientific article; zbMATH DE number 7455750 (Why is no real title available?)
• Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
• A protocol converter for nonblocking protocols
• Compositionally progressive solutions of synchronous FSM equations
• Input/output control of asynchronous sequential machines with races
• Automatic defensive control of asynchronous sequential machines
• Progressive solutions to a parallel automata equation
• Maximally permissive mutually and globally nonblocking supervision with application to switching control
• Using logic to solve the submodule construction problem
• Interface synthesis and protocol conversion
• Static state feedback control of asynchronous sequential machines
• Progressive solutions to a parallel automata equation
• Network event recognition
• Automated synthesis of application-layer connectors from automata-based specifications
• Adaptive control of asynchronous sequential machines with state feedback

This page was built for publication: A discrete event systems approach for protocol conversion

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