A discrete event systems approach for protocol conversion
From MaRDI portal
Publication:1361804
DOI10.1023/A:1008258331497zbMATH Open0960.93034OpenAlexW1583418408MaRDI QIDQ1361804FDOQ1361804
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
Recommendations
Communication networks in operations research (90B18) Discrete event control/observation systems (93C65) Network protocols (68M12)
Cited In (15)
- Title not available (Why is that?)
- 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)
