{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/81702"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/81702","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"An Equational Logic and a Coordination Language for Distributed Objects","abstract":"118 p.","abstract_html":"118 p.","abstract_has_math":false,"creators":["Ziaei, Mahmood Reza"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Agha, Gul A."],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2015,"date_issued":"2015-09-25T20:20:04Z","date_published":"2015-09-25T20:20:04Z","updated_at":"2026-07-22T22:26:16Z","subjects":["Computer Science"],"languages":["eng"],"rights":[],"rights_urls":[],"identifier_entries":[{"key":"dc:identifier","label":"Identifier","values":["(MiAaPQ)AAI3199204"],"render_values":[{"text":"(MiAaPQ)AAI3199204","href":null,"code":true}]}]},"links":{"outbound_url":"http://hdl.handle.net/2142/81702","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Agha, Gul A."]},{"key":"dc:creator","label":"Author","values":["Ziaei, Mahmood Reza"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2015-09-25T20:20:04Z","10000-01-01","2005"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Computer Science"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/81702","(MiAaPQ)AAI3199204"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["118 p.","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.","Made available in DSpace on 2015-09-25T20:20:04Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 3199204.pdf: 3309441 bytes, checksum: afbba0f5d6bff79f1a6d305827f0f1c4 (MD5) Previous issue date: 2005","Embargo set by: Seth Robbins for item 82983 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2005."]},{"key":"dc:title","label":"Title","values":["An Equational Logic and a Coordination Language for Distributed Objects"]}]}],"canonical_facts":{"dc:contributor":["Agha, Gul A."],"dc:creator":["Ziaei, Mahmood Reza"],"dc:date":["2015-09-25T20:20:04Z","10000-01-01","2005"],"dc:description":["118 p.","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.","Made available in DSpace on 2015-09-25T20:20:04Z (GMT). No. of bitstreams: 2 license.txt: 4848 bytes, checksum: 96035ab3f5e1c23cc7138a224ce498bd (MD5) 3199204.pdf: 3309441 bytes, checksum: afbba0f5d6bff79f1a6d305827f0f1c4 (MD5) Previous issue date: 2005","Embargo set by: Seth Robbins for item 82983 Lift date: Forever Reason: Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","Restricted to the U of I community idenfinitely during batch ingest of legacy ETDs","U of I Only","Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2005."],"dc:identifier":["http://hdl.handle.net/2142/81702","(MiAaPQ)AAI3199204"],"dc:language":["eng"],"dc:subject":["Computer Science"],"dc:title":["An Equational Logic and a Coordination Language for Distributed Objects"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:26:16Z"}