Modelling Distributed Systems
| dc.contributor.author | Yonezawa, Akinori | en_US |
| dc.contributor.author | Hewitt, Carl | en_US |
| dc.date.accessioned | 2004-10-01T20:34:30Z | |
| dc.date.available | 2004-10-01T20:34:30Z | |
| dc.date.issued | 1977-06-01 | en_US |
| dc.identifier.other | AIM-428 | en_US |
| dc.identifier.uri | http://hdl.handle.net/1721.1/5764 | |
| dc.description.abstract | Distributed systems are multi-processor information processing systems which do not rely on the central shared memory for communication. This paper presents ideas and techniques in modelling distributed systems and its application to Artificial Intelligence. In section 2 and 3, we discuss a model of distributed systems and its specification and verification techniques. We introduce a simple example of air line reservation systems in Section 4 and illustrate our specification and verification techniques for this example in the subsequent sections. Then we discuss our further work. | en_US |
| dc.format.extent | 21 p. | en_US |
| dc.format.extent | 5962306 bytes | |
| dc.format.extent | 4218683 bytes | |
| dc.format.mimetype | application/postscript | |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | en_US | |
| dc.relation.ispartofseries | AIM-428 | en_US |
| dc.title | Modelling Distributed Systems | en_US |
