BETTY Papers at TGC 2013
Three papers on BETTY topics will be presented at TGC 2013:
- Johannes Borgström, Ramūnas Gutkovas, Joachim Parrow, Björn Victor and Johannes Åman Pohjola:
A Sorted Semantic Framework for Applied Process Calculi - Hans Hüttel:
Types for resources in psi-calculi - Marco Giunti and António Ravara:
Static deadlock resolution in the pi-calculus
Congratulations to the authors!