## 2020

##### A Formal Model of Extended Finite State Machines

by Michael Foster, Achim D. Brucker, Ramsay G. Taylor and John Derrick
Sep 07

## 2013

##### Nominal 2

by Christian Urban, Stefan Berghofer and Cezary Kaliszyk
Feb 21

##### The Correctness of Launchbury's Natural Semantics for Lazy Evaluation

by Joachim Breitner
Jan 31

## 2007

##### Jinja with Threads

by Andreas Lochbihler
Dec 03