We have designed a programming language for parallel processing which have the following fundamental facilities : parallel execution, asychronously communication with channels, nondeterministic selection, dynamic creation of processes, etc. And we have presented a simple and highly abstract denotational semantics for this language.
雑誌名
Research reports of the Faculty of Engineering, Mie University
Denotational Semantics of a Language for Asynchronously Communicating Processes
AA008163410160010.PDF
(621.62KB)
