Formal specication of manifold: A preliminary study

email ruttencwinl farhadcwinlivancwinl This report is an initial version of a formal specication of the Manifold language A detailed informal specication of Manifold already exists and has been used as the basis of its rst implementation The work on formal specication of Manifold overlapped this implementation eort and they both aected the details of the informal specication of the language In this report we present an operational semantics of the eventdriven mechanism of the Manifold language Manifold is a parallel programming language where processes called manifolds use an eventdriven control mechanism to coordinate the communications among other processes manifolds as well as external Interprocess communication in Manifold is through broadcast of events and a dynamic data ow network built out of streams carrying units of data In this report we consider only the event mechanism of Manifold which handles th