Search Sciweavers | Sciweavers

950 search results - page 35 / 190

» Process Algebra in PVS

click to vote

REX
1993

156views Logical Reasoning» more REX 1993»

Process Algebra with Backtracking

13 years 11 months ago

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Alban Ponse, Jos van Wamel

claim paper

Read More »

click to vote

LICS
1989
IEEE

99views Automated Reasoning» more LICS 1989»

Towards Action-Refinement in Process Algebras

13 years 11 months ago

Download www.tara.tcd.ie

Luca Aceto, Matthew Hennessy

claim paper

Read More »

click to vote

AMAST
2004
Springer

90views Software Engineering» more AMAST 2004»

State Space Reduction for Process Algebra Specifications

13 years 11 months ago

Download www.inrialpes.fr

Hubert Garavel, Wendelin Serwe

claim paper

Read More »

click to vote

CONCUR
1995
Springer

124views Distributed And Parallel Com...» more CONCUR 1995»

Delayed choice for process algebra with abstraction

13 years 11 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper

Read More »

click to vote

FCT
1995
Springer

94views Applied Computing» more FCT 1995»

Discrete Time Process Algebra with Abstraction

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers