Isomorphic Types for Open Coordination Systems

A Wilkinson, Z.Q. Zheng (Editor), Alan Malcolm Wood

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Open coordination systems traditionally force pro grammers to use a very limited set of types when com municating. As the system is open nothing is known at creation time about which processes will connect, how many of them there will be and what types they will use. This paper describes the ¿rst steps in an architecture to allow open systems, such as Linda, to coordi nate heterogeneous processes using general datatypes. By describing types in terms of products, sums and functions and providing functions that translate between this abstract representation and the concrete representation in the program, types can be trans ferred between programs which have no prior knowl edge of each other’s type systems. Combining this with a type isomorphism algorithm allows types that are not identical but are equivalent to be used in com munications between processes.
Original languageEnglish
Title of host publicationProceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems
PublisherACTA Press
Number of pages4
Publication statusPublished - 2005
EventPDCS 2005 - Phoenix, AZ, United States
Duration: 14 Nov 200516 Nov 2005


ConferencePDCS 2005
Country/TerritoryUnited States
CityPhoenix, AZ

Cite this