Parallel computing: from multicores and GPU’s to petascale
ISBN
9781607505297
Series
Advances in parallel computing, 19
Pages (from-to)
467-474
Number of pages
739
Publisher
Amsterdam, the Netherlands: IOS Press
Organisations
Faculty of Science (FNWI) - Informatics Institute (IVI)
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.