An Operational Semantics for S-Net
Frank Penczek, Clemens Grelck, Sven‐Bodo Scholz · Advances in parallel computing · 2010
We present the formal operational semantics of S-NET, a coordination language and component technology based on stream processing. S-NET turns conventional (sequential) functions/procedures into asynchronous components interacting with each other through a streaming network; it defines network topologies inductively by a small combinator language that captures essential forms of concurrency. Our formal semantics allows us to reason about program properties and defines the design space for alternative implementation strategies.