Proc. of the IFIP WG 10.3 workshop on Concurrent languages in distributed systems: hardware supported implementation
Communicating sequential processes
Communicating sequential processes
Programming in Occam
Emulating digital logic using transputer networks (very high parallelism = simplicity = performance)
Volume I: Parallel architectures on PARLE: Parallel Architectures and Languages Europe
Communications of the ACM
A tutorial introduction to Occam programming
A tutorial introduction to Occam programming
Occam programming: a practical approach
Occam programming: a practical approach
Programming in Occam 2
Communications of the ACM
Expressing and exploiting concurrency in networked applications with aspen
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming
Advanced collective communication in aspen
Proceedings of the 22nd annual international conference on Supercomputing
| Hi-index | 0.00 |
Harnessing the potential processing power of MIMD networks requires the development of a fluency in parallel systems design equal to our traditional skills for sequential logic. Occam (TM) is a simple, small but powerful language which enables such fluency. The model of parallelism provided by occam is a central (not “added on”) feature and is directly supported by the INMOS transputer (TM). This model reflects major software engineering features such as abstraction, structuring, and information hiding and has important benefits for the life-cycle development costs of large systems (not least through the establishment of libraries of reusable software/hardware components). This paper introduces such engineering with the emphasis upon finely-grained highly-parallel designs. Some examples will be taken from the area of high-performance fault-tolerant real-time embedded systems.Occam is one of those rare languages that obeys (and was designed to obey) a rich set of mathematical laws (concerning sequential, parallel, and non-deterministic logic). This allows clear (and formal) reasoning. The combination of the security and simplicity of occam with the performance and simplicity of the transputer is worthy of proper investigation.