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