A Framework for Prototyping and Reasoning about Distributed Systems
A Framework for Prototyping and Reasoning about Distributed Systems
Saved in:
Personal Name(s): | Aldinucci, Marco |
---|---|
Danelutto, Marco / Kilpatrick, Peter | |
Published in: |
NIC Series Volume 38: Parallel Computing: Architectures, Algorithms and Applications, Proceedings, ParCo 2007 Conference 4. - 7. September 2007, C. Bischof, M. Bücker, P. Gibbon, G.R. Joubert, T. Lippert, B. Mohr, F. Peters (Eds.), chapter 27, p. 235-242, Jülich : John von Neumann Institute for Computing, 2007. ISBN: 978-3-9810843-4-4 |
Imprint: |
Jülich
John von Neumann Institute for Computing
2007
|
Physical Description: |
235-242 |
ISBN: |
978-3-9810843-4-4 |
Document Type: |
Contribution to a book |
Series Title: |
NIC series
38 |
Link: |
OpenAccess |
Publikationsportal JuSER |
LEADER | 02296nam a2200505 a 4500 | ||
---|---|---|---|
001 | 152880 | ||
005 | 20200423205411.0 | ||
020 | |a 978-3-9810843-4-4 | ||
024 | 7 | |a 2128/6474 |2 Handle | |
037 | |a FZJ-2014-02535 | ||
082 | |a 004 | ||
100 | 1 | |a Aldinucci, Marco |b 0 | |
245 | |a A Framework for Prototyping and Reasoning about Distributed Systems | ||
260 | |a Jülich |c 2007 |b John von Neumann Institute for Computing | ||
295 | 1 | 0 | |a NIC Series Volume 38: Parallel Computing: Architectures, Algorithms and Applications, Proceedings, ParCo 2007 Conference 4. - 7. September 2007, C. Bischof, M. Bücker, P. Gibbon, G.R. Joubert, T. Lippert, B. Mohr, F. Peters (Eds.), chapter 27, p. 235-242, Jülich : John von Neumann Institute for Computing, 2007. ISBN: 978-3-9810843-4-4 |
300 | |a 235-242 | ||
490 | 0 | |a NIC series |0 Peri:(DE-600)2398317-6 |8 0027 |v 38 | |
700 | 1 | |a Danelutto, Marco |b 1 | |
700 | 1 | |a Kilpatrick, Peter |b 2 | |
856 | 4 | |u http://juser.fz-juelich.de/record/152880/files/FZJ-2014-02535.pdf |y OpenAccess | |
856 | 4 | |u http://juser.fz-juelich.de/record/152880/files/FZJ-2014-02535.jpg?subformat=icon-144 |x icon-144 |y OpenAccess | |
856 | 4 | |u http://juser.fz-juelich.de/record/152880/files/FZJ-2014-02535.jpg?subformat=icon-180 |x icon-180 |y OpenAccess | |
856 | 4 | |u http://juser.fz-juelich.de/record/152880/files/FZJ-2014-02535.jpg?subformat=icon-640 |x icon-640 |y OpenAccess | |
909 | C | O | |o oai:juser.fz-juelich.de:152880 |p openaire |p open_access |p driver |p dnbdelivery |
910 | 1 | |a University of Pisa |b 0 | |
910 | 1 | |a University of Pisa |b 1 | |
910 | 1 | |a Queen’s University Belfast |b 2 | |
915 | |a OpenAccess |0 StatID:(DE-HGF)0510 |2 StatID | ||
915 | |a Hosted Content |0 StatID:(DE-HGF)10000 |2 StatID | ||
980 | |a contb | ||
980 | |a JUWEL | ||
980 | |a UNRESTRICTED | ||
980 | |a FullTexts | ||
980 | |a I:(DE-Juel1)NIC-20090406 | ||
980 | 1 | |a FullTexts | |
336 | |a PSP 2.7.7 Vacuum |0 7 |2 EndNote | ||
336 | |a BOOK_CHAPTER |2 ORCID | ||
336 | |a bookPart |2 DRIVER | ||
336 | |a Contribution to a book |b contb |m contb |0 PUB:(DE-HGF)7 |s 152880 |2 PUB:(DE-HGF) | ||
336 | |a Output Types/Book chapter |2 DataCite | ||
336 | |a INBOOK |2 BibTeX | ||
981 | |a I:(DE-Juel1)NIC-20090406 | ||
990 | |a Aldinucci, Marco |b 0 | ||
991 | |a Kilpatrick, Peter |b 2 | ||
991 | |a Danelutto, Marco |b 1 |