Distributed algorithm simulation using input/output automata
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1990.
Main Author: | Goldman, Kenneth J. (Kenneth Jerome) |
---|---|
Other Authors: | Nancy A. Lynch. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2005
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/13647 |
Similar Items
-
Improved simulation of input/output automata
by: Dean, Laura (Laura Gayle), 1979-
Published: (2014) -
Simulation of timed input/output automata
by: Mavrommatis, Panayiotis P
Published: (2007) -
Simulation of IBM/370 input/output
by: Gellineau, Antonio Cortes
Published: (2011) -
Paired simulation of I/O automata
by: Ramírez-Robredo, J. Antonio (José Antonio), 1976-
Published: (2014) -
Simulation of composite I/O automata
by: Solovey, Edward, 1979-
Published: (2005)