An Operational Semantics for Multicasting Systems with Monotonic Values

Haeri, Seyed Hossein;Van Roy, Peter
(2016) 28th Nordic Workshop on Programming Theory — Location: Rold StorKro (North Jutland), Denmark (31.October.2017)

Files

NWPT16.pdf
  • Open Access
  • Adobe PDF
  • 348.82 KB
Download

Details

Authors
Abstract
We present an operational semantics as a simplified model for edge computing: Nodes can leave and join any time; each node performs computations independently, but, can also wait for values to arrive from peers; nodes can multicast to one another; and, most importantly, values can only grow monotonically. We prove an eventual consistency result for our operational semantics.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Haeri, S. H., & Van Roy, P. (2016). An Operational Semantics for Multicasting Systems with Monotonic Values. Informal Proceedings of the 28th Nordic Workshop on Programming Theory. Published. 28th Nordic Workshop on Programming Theory, Rold StorKro (North Jutland), Denmark. https://hdl.handle.net/2078.5/229398