Sciweavers

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

18

APLAS
2007
ACM

favoriteEmaildiscussreport

129views Programming Languages» more APLAS 2007»

A Probabilistic Applied Pi-Calculus

13 years 8 months ago

A Probabilistic Applied Pi-Calculus

Download www.lsv.ens-cachan.fr

Abstract. We propose an extension of the Applied Pi

Jean Goubault-Larrecq, Catuscia Palamidessi, Angel

Real-time Traffic

APLAS 2007 | Observational Equivalence | Probabilistic Choice Operators | Programming Languages | Segala's Probabilistic Automata |

claim paper

Related Content

» Strong Bisimulation for the Explicit Fusion Calculus

» Representation of the Signal Transduction with Aberrance Using Ipi Calculus

» Epistemic Logic for the Applied Pi Calculus

» An Open Approach for the Applied Pi Calculus

» Analysis of an Electronic Voting Protocol in the Applied Pi Calculus

» Analysing Unlinkability and Anonymity Using the Applied Pi Calculus

» Automatic Verification of Security Properties in Remote Internet Voting Protocol with Appl...

» Analyzing an Electronic Cash Protocol Using Applied Pi Calculus

» Verifying Anonymous Credential Systems in Applied Pi Calculus

Post Info
More Details (n/a)

Added	12 Aug 2010
Updated	12 Aug 2010
Type	Conference
Year	2007
Where	APLAS
Authors	Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina

Comments (0)