Search Sciweavers | Sciweavers

950 search results - page 30 / 190

» Process Algebra in PVS

click to vote

LICS
2008
IEEE

126views Automated Reasoning» more LICS 2008»

An Algebraic Process Calculus

14 years 2 months ago

Download iml.univ-mrs.fr

We present an extension of the πI-calculus with formal sums of terms. The study of the properties of this sum reveals that its neutral element can be used to make assumptions abo...

Emmanuel Beffara

claim paper

Read More »

click to vote

MFCS
1998
Springer

106views Theoretical Computer Science» more MFCS 1998»

Deadlocking States in Context-Free Process Algebra

13 years 12 months ago

Download www.daimi.au.dk

Recently the class of BPA (or context-free) processes has been intensively studied and bisimilarity and regularity appeared to be decidable (see [CHS95, BCS95, BCS96]). We extend t...

Jirí Srba

claim paper

Read More »

click to vote

SOFSEM
2009
Springer

107views Theoretical Computer Science» more SOFSEM 2009»

An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA

14 years 4 months ago

Download www.ksi.mff.cuni.cz

Jens Bachmann, Martin Riedl, Johann Schuster, Mark...

claim paper

Read More »