Reversible Session-Based Concurrency in Haskell

Vries, F. de; Pérez, Jorge A.

doi:10.1007/978-3-030-18506-0_2

Cited by 2 publications

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The main technical result is that the developed multiparty reversible semantics is causally-consistent. Finally, [15] proposes a Haskell implementation of the asynchronous reversible operational semantics for multiparty session types proposed in [48]. The implementation exploits algebraic data types to faithfully represent three core ingredients: a process calculus, multiparty session types, and forward and backward reduction semantics.…”

Section: Behavioural Typesmentioning

confidence: 99%

Software and Reversible Systems: A Survey of Recent Activities

Mezzina

Schlatte

Glück

et al. 2020

Reversible Computation: Extending Horizons of Computing

View full text Add to dashboard Cite

Software plays a central role in all aspects of reversible computing. We survey the breadth of topics and recent activities on reversible software and systems including behavioural types, recovery, debugging, concurrency, and object-oriented programming. These have the potential to provide linguistic abstractions and tools that will lead to safer and more reliable reversible computing applications. This work has been partially supported by COST Action IC1405 on Reversible Computation-Extending Horizons of Computing.

show abstract

Section: Behavioural Typesmentioning

confidence: 99%

Software and Reversible Systems: A Survey of Recent Activities

Mezzina

Schlatte

Glück

et al. 2020

Reversible Computation: Extending Horizons of Computing

View full text Add to dashboard Cite

show abstract

Towards Choreographic-Based Monitoring

Francalanza

Mezzina

Tuosto

2020

Reversible Computation: Extending Horizons of Computing

View full text Add to dashboard Cite

Distributed programs are hard to get right because they are required to be open, scalable, long-running, and dependable. In particular, the recent approaches to distributed software based on (micro-) services, where different services are developed independently by disparate teams, exacerbate the problem. Services are meant to be composed together and run in open contexts where unpredictable behaviours can emerge. This makes it necessary to adopt suitable strategies for monitoring the execution and incorporate recovery and adaptation mechanisms so to make distributed programs more flexible and robust. The typical approach that is currently adopted is to embed such mechanisms within the program logic. This makes it hard to extract, compare and debug. We propose an approach that employs formal abstractions for specifying failure recovery and adaptation strategies. Although implementation agnostic, these abstractions would be amenable to algorithmic synthesis of code, monitoring, and tests. We consider message-passing programs (a la Erlang, Go, or MPI) that are gaining momentum both in academia and in industry. We first propose a model which abstracts away from three aspects: the definition of formal behavioural models encompassing failures; the specification of the relevant properties of adaptation and recovery strategy; and the automatic generation of monitoring, recovery, and adaptation logic in target languages of interest. To show the efficacy of our model, we give an instance of it by introducing reversible choreographies to express the normal forward behaviour of the system and the condition under which adaptation has to take place. Then we show how it is possible to derive Erlang code directly from the global specification.

show abstract

Reversible Session-Based Concurrency in Haskell

Abstract: Take-down policy If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim.

Cited by 2 publications

References 9 publications

Software and Reversible Systems: A Survey of Recent Activities

Software and Reversible Systems: A Survey of Recent Activities

Towards Choreographic-Based Monitoring

Contact Info

Product

Resources

About