Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

16

PARCO
2007

favoriteEmaildiscussreport

81views Distributed And Parallel Com...» more PARCO 2007»

A Framework for Prototyping and Reasoning about Distributed Systems

14 years 12 days ago

A Framework for Prototyping and Reasoning about Distributed Systems

Download www.fz-juelich.de

Marco Aldinucci, Marco Danelutto, Peter Kilpatrick

Real-time Traffic

Distributed And Parallel Computing | PARCO 2007 |

claim paper

Related Content

» An agent system reasoning about the web and the user

» A framework for reasoning about rational agents

» Reasoning about Safety and Progress Using Contracts

» Beluga A Framework for Programming and Reasoning with Deductive Systems System Description

» Reasoning about strategies of multiagent programs

» A LogicBased Framework for Reasoning about Composite Data Structures

» Reasoning About Quantum Knowledge

» Reasoning About Approximate Match Query Results

» Reasoning about judgment and preference aggregation

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2007
Where	PARCO
Authors	Marco Aldinucci, Marco Danelutto, Peter Kilpatrick

Comments (0)