22 citations · 96 across the 27 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics
Daniel Gebler, Kirstin Peters
This volume contains the proceedings of the Combined 23nd International Workshop on Expressiveness in Concurrency and the 13th Workshop on Structural Operational Semantics (EXPRESS…
cs.LO2016
Session Types for Link Failures (Technical Report)
Manuel Adameit, Kirstin Peters, Uwe Nestmann
We strive to use session type technology to prove behavioural properties of fault-tolerant distributed algorithms. Session types are designed to abstractly capture the structure of…