Output details
11 - Computer Science and Informatics
University of Hertfordshire
Asynchronous Stream Processing with S-Net
<08> This foundation paper defines the principles and discusses the application of S-Net: the first fully-fledged co-ordination language with formal semantics and a type system, allowing incompletely specified building-block components to be glued into parallel programs in a general way. S-Net was developed and implemented by Shafarenko's group over the period ending 2011 via two EU-funded projects (the second specifically to evaluate the S-Net technology) involving Imperial College, Thales Research, SAP Research, Philips, and others. This work is supported by leading dataflow computing researchers, including G.R. Gao (University of Delaware) and the CnC project leader in industry (Kath Knobe, Intel).