An operational semantics for S-Net
| Authors |
|
|---|---|
| Publication date | 2010 |
| Host editors |
|
| Book title | Parallel computing: from multicores and GPU’s to petascale |
| ISBN |
|
| Series | Advances in parallel computing, 19 |
| Pages (from-to) | 467-474 |
| Number of pages | 739 |
| Publisher | Amsterdam, the Netherlands: IOS Press |
| Organisations |
|
| 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. |
| Document type | Chapter |
| Language | English |
| Published at |
https://doi.org/10.3233/978-1-60750-530-3-467
(Final published version)
|
| Permalink to this page | |