Powered by
2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (33rd FORTE / 15th FMOODS),
June 3–6, 2013,
Florence, Italy
Keynote
Mon, Jun 3, 09:30 - 10:30 (Chair: Dirk Beyer / Michele Boreale)
Verification
Mon, Jun 3, 11:00 - 12:30 (Chair: Domagoj Babic)
Types
Mon, Jun 3, 14:30 - 16:00 (Chair: Martin Abadi)
Testing
Mon, Jun 3, 16:30 - 17:30 (Chair: Wojciech Mostowski)
DisCoTec Joint Session
Tue, Jun 4, 11:00 - 12:30
Model Checking
Tue, Jun 4, 14:30 - 16:00 (Chair: Tevfik Bultan)
Automata
Wed, Jun 5, 11:00 - 12:30 (Chair: Hanne Riis Nielson)
Distribution and Concurrency
Wed, Jun 5, 14:30 - 16:00 (Chair: Nobuko Yoshida)
A Timed Component Algebra for Services
Benoit Delahaye, José Luiz Fiadeiro, Axel Legay, and Antónia Lopes
(INRIA/IRISA, France; Royal Holloway, University of London, UK; University of Lisbon, Portugal)
Security
Wed, Jun 5, 16:30 - 17:30 (Chair: Emilio Tuosto)
Honesty by Typing
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, and Roberto Zunino
(Universita' degli Studi di Cagliari, Italy; University of Cagliari, Italy; University of Leicester, UK; Università degli Studi di Trento, Italy)
proc time: 0.03