Session types for Link failures
Learning-based compositional parameter synthesis for event-recording automata
Modularising opacity verification for Hybrid Transactional Memory
Proving opacity via linearizability: a sound and complete method
On futures for streaming data in ABS
Session-based concurrency, reactively
Procedural choreographic programming
An observational approach to defining linearizability on weak memory models
Applying a dependency mechanism in the formal development of voting protocol models using event-B
Weak simulation quasimetric in a gossip scenario
Reasoning about distributed secrets
Classical higher-order processes
Weak nominal modal logic
Type inference of simulink hierarchical block diagrams in Isabelle
Creating Büchi automata for multi-valued model checking
Privacy assessment using static taint analysis
EPTL
a temporal logic for weakly consistent systems.