[PDF][PDF] Multiparty session types for safe runtime adaptation in an actor language
Human fallibility, unpredictable operating environments, and the heterogeneity of hardware
devices are driving the need for software to be able to adapt as seen in the Internet of Things …
devices are driving the need for software to be able to adapt as seen in the Internet of Things …
Mixing metaphors: Actors as channels and channels as actors
Channel-and actor-based programming languages are both used in practice, but the two are
often confused. Languages such as Go provide anonymous processes which communicate …
often confused. Languages such as Go provide anonymous processes which communicate …
Typed concurrent functional programming with channels, actors and sessions
SJ Fowler - 2019 - era.ed.ac.uk
The age of writing single-threaded applications is over. To develop scalable applications,
developers must make use of concurrency and parallelism. Nonetheless, introducing …
developers must make use of concurrency and parallelism. Nonetheless, introducing …
Adaptable actors: just what the world needs
The combination of improved battery technology and more power-efficient computing
hardware has led to the proliferation of heterogeneous distributed systems. This internet of …
hardware has led to the proliferation of heterogeneous distributed systems. This internet of …
Mixing Metaphors: Actors as Channels and Channels as Actors (Extended Version)
Channel-and actor-based programming languages are both used in practice, but the two are
often confused. Languages such as Go provide anonymous processes which communicate …
often confused. Languages such as Go provide anonymous processes which communicate …
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)
Human fallibility, unpredictable operating environments, and the heterogeneity of hardware
devices are driving the need for software to be able to adapt as seen in the Internet of Things …
devices are driving the need for software to be able to adapt as seen in the Internet of Things …