A formal process calculus and execution model for distributed agent computing
Jody Threet · 1998
Jody R. Threet (Ph.D. in Computer Science) A Formal Process Calculus and Execution Model for Distributed Agent Computing (55 pp. - V Chapters ) Directed by Professor Sujeet Shenoi (237 words) Most low level machine languages reflect the hardware on which they execute. Current hardware promotes the development of sequential machine languages. Such languages do not provide atomic forms of communication which is a fundamental operation in distributed computing and severely restricts the expression of fine-grained concurrency. Furthermore, most high and low level programming languages lack formal semantics. This makes the analysis, i.e. the specification and proof of abstract properties, practically impossible. This work involves the design of a formal concurrent language which is a robust extension of an exiting flawed concurrent language. The fundamental event in the formal concurrent language is communication, so that computation consists of distributed agents communicating values. A co...