Skip to Main content Skip to Navigation


...
inria-00132928v2  Reports
Ustun Yildiz. On Dead Path Elimination in Decentralized Process Executions
[Research Report] RR-6131, INRIA. 2007, pp.31
...
inria-00201503v3  Reports
Jens Gustedt. Sublinear Communication for Integer Permutations
[Research Report] RR-6403, INRIA. 2007, 20 p
...
inria-00152312v2  Reports
Mathieu GrenierNicolas Navet. Scheduling Configuration on Posix 1003.1b Systems
[Research Report] RR-6209, INRIA. 2007, pp.26
...
inria-00129642v2  Reports
Véronique CortierStéphanie DelauneGraham Steel. A Formal Theory of Key Conjuring
[Research Report] RR-6134, INRIA. 2007, pp.38
...
inria-00140932v2  Reports
Véronique CortierBogdan WarinschiEugen Zalinescu. Synthesizing secure protocols
[Research Report] RR-6166, INRIA. 2007, pp.32
...
inria-00145060v1  Reports
Guillaume Bonfante. Monotone interpretations
[Research Report] 2007, pp.9