Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems.

Abstract : The results fall into two primary categories: real-time process algebras and type theories for object oriented programs. The process algebra results include a richer semantic framework for expressing real time processes, the development of an algebra for expressing both preemptive and nonpreemptive processes, axiomatizations of the algebra, implementations of these axiomatizations, and equivalence for Pict, a concurrent object-oriented programming language based on the pi-calculus. The OO results include the development of constraint-based type systems (including inference algorithms) for object-oriented languages.