Вы здесь

Главная

occam

Связанные издания:

A Basic-Net Algebra for Program Semantics and its Application to OCCAM
A Formal Definition of Priority in CSP
An Operational Semantics for occam
DYNAMO: A Processes-Processors Mapper for Occam2 Programs
Efficient Distributed Memory Implementation of a Data Parallel Functional Language
Hardware and Software: The Closing Gap
NXLib Performance Assessment for Parallel Real-Time Modelling
Programming in "occam"
Towards a Provably Correct Hardware Implementation of Occam