A Framework for Prototyping and Reasoning about Distributed Systems
Aldinucci, Marco
Danelutto, Marco / Kilpatrick, Peter
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
Jülich John von Neumann Institute for Computing 2007
Contribution to a book
NIC series 38
Please use the identifier: http://hdl.handle.net/2128/6474 in citations.
Description not available.