Sciweavers

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

37

QEST
2007
IEEE

favoriteEmaildiscussreport

123views Modeling and Simulation» more QEST 2007»

Model checking the probabilistic pi-calculus

14 years 5 months ago

Model checking the probabilistic pi-calculus

Download qav.comlab.ox.ac.uk

Gethin Norman, Catuscia Palamidessi, David Parker,

Real-time Traffic

QEST 2007 | Quantitative Evaluation Of Systems |

claim paper

Related Content

» Representation of the Signal Transduction with Aberrance Using Ipi Calculus

» Toward a PiCalculus Based Verification Tool for Web Services Orchestrations

» Spatial and Behavioral Types in the PiCalculus

» Trust in the PiCalculus

» Open Bisimulation for the Concurrent Constraint PiCalculus

» TulaFale A Security Tool for Web Services

» Model Checking Concurrent Programs with Nondeterminism and Randomization

» Model checking for probability and time from theory to practice

» Model Checking Probabilistic Timed Automata with One or Two Clocks

» DiscreteTime Rewards ModelChecked

Post Info
More Details (n/a)

Added	04 Jun 2010
Updated	04 Jun 2010
Type	Conference
Year	2007
Where	QEST
Authors	Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu 0002

Comments (0)