Denotational semantics of communicating processes based on a language for applicative multiprogramming |
| |
Authors: | Manfred Broy |
| |
Affiliation: | Institut für Informatik, Technische Universität München, 8000 München 2, Fed. Rep. Germany |
| |
Abstract: | The denotational semantics of a simple language for describing tightly coupled ‘synchronous’ systems is defined by translating it into a language for applicative multiprogramming. The applicative language has originally been developed for describing nondeterministic stream-processing functions and loosely-coupled systems of communicating processes. Nevertheless, it can be used after very slight generalizations as a semantic target language for defining the meaning of programs representing tightly-coupled, synchronous systems. |
| |
Keywords: | Communicating sequential processes denotational semantics |
本文献已被 ScienceDirect 等数据库收录! |