Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

4 results
Deposit type : Fulltext
labStructName_s : Hewlett-Packard Laboratories [Bristol]
labStructName_s : Preuves, Programmes et Systèmes
labStructName_s : David R. Cheriton School of Computer Science
Page :
sorted by
Image document

On global types and multi-party sessions

 Giuseppe Castagna , Mariangiola Dezani-Ciancaglini , Luca Padovani
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik, Iceland. pp.1-28, ⟨10.1007/978-3-642-21461-5_1⟩
Conference papers hal-00618814v1
Image document

Fair Subtyping for Multi-Party Session Types

 Luca Padovani
13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. pp.127-141, ⟨10.1007/978-3-642-21464-6_9⟩
Conference papers hal-00546531v2
Image document

Efficient Prevention of Credit Card Leakage from Enterprise Networks

 Matthew Hall , Reinoud Koornstra , Miranda Mowbray
12th Communications and Multimedia Security (CMS), Oct 2011, Ghent, Belgium. pp.238-240, ⟨10.1007/978-3-642-24712-5_23⟩
Conference papers hal-01596206v1
Image document

Estimating the Perceived Difficulty of Pen Gestures

 Radu Daniel Vatavu , Daniel Vogel , Géry Casiez , Laurent Grisoni
13th International Conference on Human-Computer Interaction (INTERACT), Sep 2011, Lisbonne, Portugal. pp.89-106, ⟨10.1007/978-3-642-23771-3_9⟩
Conference papers inria-00638385v1
Page :