0 | -- | 0 | Franck van Breugel, Babita Sharma, James Worrell. Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems |
0 | -- | 0 | Lars Birkedal, Hongseok Yang. Relational Parametricity and Separation Logic |
0 | -- | 0 | Wojciech Moczydlowski. Normalization of IZF with Replacement |
0 | -- | 0 | Anca Muscholl, Igor Walukiewicz. A Lower Bound on Web Services Composition |
0 | -- | 0 | Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin. Visibly Tree Automata with Memory and Constraints |
0 | -- | 0 | Patricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey. Model Checking One-Clock Priced Timed Automata |
0 | -- | 0 | François Laroussinie, Nicolas Markey, Ghassan Oreiby. On the Expressiveness and Complexity of ATL |
0 | -- | 0 | Daniel Hirschkoff, Damien Pous. A Distribution Law for CCS and a New Congruence Result for the p-calculus |
0 | -- | 0 | Andreas Abel. Semi-Continuous Sized Types and Termination |