This chapter surveys runtime verification research related to distributed systems. We report
solutions that study how to monitor system with some distributed characteristic, solutions that …

Go is an increasingly-popular systems programming language targeting, especially,
concurrent and distributed systems. Go differentiates itself from other imperative languages …

Multiparty Session Types (MPST) are a ty** discipline ensuring that a message-passing
process implements a multiparty session protocol, without errors. In this paper, we propose a …

Choreographic programming is an emerging paradigm for programming distributed systems.
In choreographic programming, the programmer describes the behavior of the entire system …

The Go programming language has been heavily adopted in industry as a language that
efficiently combines systems programming with concurrency. Go's concurrency primitives …

This paper presents a framework for the static specification and safe programming of
message passing protocols where the number and kinds of participants are dynamically …

In concurrent and distributed systems, processes can complete tasks together by playing
their parts in a joint plan. The plan, or protocol, can be written as a choreography: a formal …

Go is a production-level statically typed programming language whose design features
explicit message-passing primitives and lightweight threads, enabling (and encouraging) …

Abstract Automata models are well-established in many areas of computer science and are
supported by a wealth of theoretical results including a wide range of algorithms and …

This paper presents a formulation of multiparty session types (MPSTs) for practical fault-
tolerant distributed programming. We tackle the challenges faced by session types in the …