- Extensional and Non-extensional Functions as Processes Ken Sakayori Davide Sangiorgi Fri 28 April 2023
- A theory of structural stationarity in the -Calculus Roland Meyer Thu 29 August 2013
- Structural Stationarity in the pi-Calculus Roland Meyer Thu 29 August 2013
- Il pi-calcolo: nozioni di teoria e applicazioni Daniele Gorla Wed 27 March 2013
- Types as models: model checking message-passing programs Sagar Chaki Sriram K. Rajamani Jakob Rehof Sun 24 February 2013
- Forward analysis of depth-bounded processes Thomas Wies Damien Zufferey Thomas A. Henzinger Tue 18 December 2012
Library Size: 13G (6 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
