-
1
-
2by Edlund, Åke, Koopmans, Maarten, Shah, Zeeshan Ali, Livenson, Ilja, Orellana, Frederik, Kommeri, Jukka, Tuisku, Miika, Lehtovuori, Pekka, Hansen, Klaus Marius, Neukirchen, Helmut, Hvannberg, EbbaGet access
Published in Proceedings of the 5th international workshop on Virtualization technologies in distributed computing - VTDC '11 (2011)
Get access
Other Non-Article Part of Journal/Newspaper -
3“... designs. The typical areas include distributed computing, communication networks, game theory, parallel...”
Get access
Get access
-
4by Hirschowitz, Tom, Pous, DamienGet access
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Get access
Conference Object -
5by Hirschowitz, Tom, Pous, DamienGet access
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Get access
Conference Object -
6“... under the fundamental principles of the practice of distributed computing — asynchronous communication...”
Get access
Get access
Get access
Get access
Conference Object -
7“... under the fundamental principles of the practice of distributed computing — asynchronous communication...”
Get access
Get access
Get access
Get access
Conference Object -
8by Hirschowitz, Tom, Pous, DamienGet access
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Get access
Conference Object -
9by Hirschowitz, Tom, Pous, DamienGet access
Published in Electronic Proceedings in Theoretical Computer Science (2011)
Get access
Conference Object -
10
-
11by Chabridon, Sophie, Ngo, Cao Cuong, Abid, Zied, Conan, Denis, Taconet, Chantal, Ozanne, AlainGet access
Published 2011
Get access
Get access
Get access
Conference Object -
12
-
13
-
14by Chabridon, Sophie, Ngo, Cao Cuong, Abid, Zied, Conan, Denis, Taconet, Chantal, Ozanne, AlainGet access
Published 2011
Get access
Get access
Get access
Conference Object -
15
-
16“... formalization in the Coq proof assistant of a distributed computation model based on message passing with either...”
Get access
Get access
Get access
Get access
Conference Object -
17“... formalization in the Coq proof assistant of a distributed computation model based on message passing with either...”
Get access
Get access
Get access
Get access
Conference Object -
18“... formalization in the Coq proof assistant of a distributed computation model based on message passing with either...”
Get access
Get access
Get access
Get access
Conference Object -
19“... formalization in the Coq proof assistant of a distributed computation model based on message passing with either...”
Get access
Get access
Get access
Get access
Conference Object -
20“... or systems. In addition, it can be used to define the semantics of languages in the parallel and distributed...”
Get access
Get access
Get access
Conference Object