A discrete event systems approach for protocol conversion
From MaRDI portal
Publication:1361804
DOI10.1023/A:1008258331497zbMath0960.93034OpenAlexW1583418408MaRDI QIDQ1361804
Ratnesh Kumar, Steven I. Marcus, Sudhir Nelvalgal
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
Communication networks in operations research (90B18) Discrete event control/observation systems (93C65) Network protocols (68M12)
Related Items (13)
Using logic to solve the submodule construction problem ⋮ Adaptive control of asynchronous sequential machines with state feedback ⋮ Automated synthesis of application-layer connectors from automata-based specifications ⋮ Static state feedback control of asynchronous sequential machines ⋮ Unnamed Item ⋮ Input/output control of asynchronous sequential machines with races ⋮ Progressive Solutions to a Parallel Automata Equation ⋮ Interface synthesis and protocol conversion ⋮ Automatic defensive control of asynchronous sequential machines ⋮ Progressive solutions to a parallel automata equation ⋮ Compositionally progressive solutions of synchronous FSM equations ⋮ Maximally permissive mutually and globally nonblocking supervision with application to switching control ⋮ Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
This page was built for publication: A discrete event systems approach for protocol conversion