I/O Automata: A Model for Discrete Event Systems

Bibliographic Details
Main Author: Lynch, Nancy A.
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149139
_version_ 1811089639905165312
author Lynch, Nancy A.
author_facet Lynch, Nancy A.
author_sort Lynch, Nancy A.
collection MIT
first_indexed 2024-09-23T14:22:24Z
id mit-1721.1/149139
institution Massachusetts Institute of Technology
last_indexed 2024-09-23T14:22:24Z
publishDate 2023
record_format dspace
spelling mit-1721.1/1491392023-03-30T03:26:14Z I/O Automata: A Model for Discrete Event Systems Lynch, Nancy A. 2023-03-29T14:31:28Z 2023-03-29T14:31:28Z 1988-03 https://hdl.handle.net/1721.1/149139 MIT-LCS-TM-351 application/pdf
spellingShingle Lynch, Nancy A.
I/O Automata: A Model for Discrete Event Systems
title I/O Automata: A Model for Discrete Event Systems
title_full I/O Automata: A Model for Discrete Event Systems
title_fullStr I/O Automata: A Model for Discrete Event Systems
title_full_unstemmed I/O Automata: A Model for Discrete Event Systems
title_short I/O Automata: A Model for Discrete Event Systems
title_sort i o automata a model for discrete event systems
url https://hdl.handle.net/1721.1/149139
work_keys_str_mv AT lynchnancya ioautomataamodelfordiscreteeventsystems