Um ambiente de programação concorrente no sistema operacional UNIX.

Abstract

This thesis deals with the notational aspects of concurrent programming. The principal concepts and notations used to specify concurrent execution, process synchronization and communication are presented. The use of UNIX primitives in such applications is also discussed. A proposal for extending the C programming language with new constructions is presented, along with the implementation of a set of functions which map these newconstructions to the available UNIX set.