Denotational Semantics of a Language for Asynchronously Communicating Processes
スポンサーリンク
概要
- 論文の詳細を見る
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.
- Faculty of Engineering, Mie Universityの論文
- 1991-12-20
Faculty of Engineering, Mie University | 論文
- Approximate Method of Elastic Buckling Strength Analysis for Irregular Frames
- Elastic Buckling Strength of Steel Frames Connected to Core Wall
- Calculations of Energy Shift of the Conduction Band-Edge in Doped and Compensated GaP
- Estimation of the Glass Transition Pressure of Liquids under Very High Pressure by Viscoelastic Analysis
- Information Extraction from Electronic Mail