Distributed algorithm simulation using input/output automata
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1990.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2005
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/13647 |
| _version_ | 1826190240342081536 |
|---|---|
| author | Goldman, Kenneth J. (Kenneth Jerome) |
| author2 | Nancy A. Lynch. |
| author_facet | Nancy A. Lynch. Goldman, Kenneth J. (Kenneth Jerome) |
| author_sort | Goldman, Kenneth J. (Kenneth Jerome) |
| collection | MIT |
| description | Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1990. |
| first_indexed | 2024-09-23T08:37:13Z |
| format | Thesis |
| id | mit-1721.1/13647 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T08:37:13Z |
| publishDate | 2005 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/136472019-04-09T18:49:54Z Distributed algorithm simulation using input/output automata Goldman, Kenneth J. (Kenneth Jerome) Nancy A. Lynch. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science Electrical Engineering and Computer Science Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1990. Includes bibliographical references (p. 239-244). by Kenneth J. Goldman. Ph.D. 2005-08-10T22:35:45Z 2005-08-10T22:35:45Z 1990 1990 Thesis http://hdl.handle.net/1721.1/13647 24290540 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 244 p. 18955835 bytes 18955592 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science Goldman, Kenneth J. (Kenneth Jerome) Distributed algorithm simulation using input/output automata |
| title | Distributed algorithm simulation using input/output automata |
| title_full | Distributed algorithm simulation using input/output automata |
| title_fullStr | Distributed algorithm simulation using input/output automata |
| title_full_unstemmed | Distributed algorithm simulation using input/output automata |
| title_short | Distributed algorithm simulation using input/output automata |
| title_sort | distributed algorithm simulation using input output automata |
| topic | Electrical Engineering and Computer Science |
| url | http://hdl.handle.net/1721.1/13647 |
| work_keys_str_mv | AT goldmankennethjkennethjerome distributedalgorithmsimulationusinginputoutputautomata |