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

converter languagesdiscrete event systemsprotocol convertersupervisory control

Mathematics Subject Classification ID

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

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

(18)

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

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)