Search Sciweavers | Sciweavers

We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA speciﬁcations given in our language satisfy the “input-enabled” property, w...

Eugene W. Stark, Rance Cleaveland, Scott A. Smolka

claim paper

Read More »

click to vote

ICALP
2003
Springer

79views Programming Languages» more ICALP 2003»

Polarized Process Algebra and Program Equivalence

15 years 10 months ago

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Inge Bethke

claim paper

Read More »

109

Voted

AINA
2009
IEEE

66views Computer Networks» more AINA 2009»

Modelling Network Performance with a Spatial Stochastic Process Algebra

15 years 10 months ago

Download www.cs.stir.ac.uk

Vashti Galpin

claim paper

Read More »

135

click to vote

CONCUR
2001
Springer

133views Distributed And Parallel Com...» more CONCUR 2001»

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers