Sciweavers

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

7

FMOODS
2007

favoriteEmaildiscussreport

97views Formal Methods» more FMOODS 2007»

Pict Correctness Revisited

13 years 6 months ago

Pict Correctness Revisited

Download www-verimag.imag.fr

The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are speciﬁed via an abstract machine. An important property of any concurrent programming language implementation is the fair execution of threads. After deﬁning fairness for the π-calculus, we show that Pict abstract machine executions implement fair π-calculus executions. We also give new proofs of s and liveness for the Pict abstract machine.

Philippe Bidinger, Adriana B. Compagnoni

Real-time Traffic

FMOODS 2007 | Formal Methods | Machine Executions Implement | Pict Abstract Machine | Pict Programming Language |

claim paper

Related Content

» Nomadic pict correct communication infrastructure for mobile computation

» Nomadic pict Programming languages communication infrastructure overlays and semantics for...

» Correctness of Multiplicative Additive Proof Structures is NLComplete

» Revisiting OutofSSA Translation for Correctness Code Quality and Efficiency

» Revisiting Radiometric Calibration for Color Computer Vision

» Structural realism versus standard scientific realism the case of phlogiston and dephlogis...

» Comments on Optimal Resource Allocation in Overlay Multicast

» Checking and SpotChecking the Correctness of Priority Queues

» Right Association Revisited

Post Info
More Details (n/a)

Added	29 Oct 2010
Updated	29 Oct 2010
Type	Conference
Year	2007
Where	FMOODS
Authors	Philippe Bidinger, Adriana B. Compagnoni

Comments (0)