Search Sciweavers | Sciweavers

950 search results - page 32 / 190

» Process Algebra in PVS

click to vote

IFIP
2004
Springer

96views Programming Languages» more IFIP 2004»

Highly Undecidable Questions for Process Algebras

14 years 1 months ago

Download www.brics.dk

Petr Jancar, Jirí Srba

claim paper

Read More »

click to vote

CONCUR
2003
Springer

155views Distributed And Parallel Com...» more CONCUR 2003»

A Process-Algebraic Language for Probabilistic I/O Automata

14 years 29 days ago

Download www.cs.sunysb.edu

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

14 years 28 days ago

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Inge Bethke

claim paper

Read More »

click to vote

AINA
2009
IEEE

66views Computer Networks» more AINA 2009»

Modelling Network Performance with a Spatial Stochastic Process Algebra

14 years 25 days ago

Download www.cs.stir.ac.uk

Vashti Galpin

claim paper

Read More »

click to vote

CONCUR
2001
Springer

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

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

14 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers