Files in this item

FilesDescriptionFormat

application/pdf

application/pdf3199204.pdf (3MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:An Equational Logic and a Coordination Language for Distributed Objects
Author(s):Ziaei, Mahmood Reza
Doctoral Committee Chair(s):Agha, Gul A.
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Computer Science
Abstract:Even though the Actor model provides a strong foundation for distributed object based computation, its limited coordination capabilities make specification of coordination logics very difficult. To make up for this limitation, the second part of this dissertation presents SynchNet, a compositional meta-level language for coordination of distributed objects that is based on Petri Nets. Its design is based on the principle of separation of concerns, namely separation of the coordination from computational aspects. SynchNet can be used in combination with any object-based language capable of expressing sequential behavior of objects.
Issue Date:2005
Type:Text
Language:English
Description:118 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2005.
URI:http://hdl.handle.net/2142/81702
Other Identifier(s):(MiAaPQ)AAI3199204
Date Available in IDEALS:2015-09-25
Date Deposited:2005


This item appears in the following Collection(s)

Item Statistics