Search
 
loader loading subjects...
cover
An Operational Semantics for S-Net
Frank Penczek, Clemens Grelck, Sven-Bodo Scholz
467 - 474
10.3233/978-1-60750-530-3-467
Advances in Parallel Computing
Volume 19: Parallel Computing: From Multicores and GPU's to Petascale
Abstract

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.

$35.00 / €27.50 / £22.00
Add PDF to cart