Operational and Denotational Models for Languages Supporting Nondeterminism and Synchronization.

摘要

The goal of our research is to understand better the relationship between determinism and nondeterminism, and how this relationship can be reflected accurately in semantic models for high-level programming languages. The languages we focus on are uniform languages, such as CCS and CSP whose syntax is given in terms of uninterpreted atomic actions. Such languages are useful in understanding the way concurrent processes communicate and cooperate. Our approach is to explore the use of spectral theory to model the relationship between determinism and nondeterminism.