Search Sciweavers | Sciweavers

942 search results - page 19 / 189

» Process Algebraic Non-product-forms

136

click to vote

FSTTCS
1994
Springer

101views Software Engineering» more FSTTCS 1994»

Priority and Abstraction in Process Algebra

15 years 10 months ago

Download www.cs.umd.edu

V. Natarajan, Ivan Christoff, Linda Christoff, Ran...

claim paper

Read More »

132

click to vote

PARLE
1993

134views Distributed And Parallel Com...» more PARLE 1993»

From Data Flow Networks to Process Algebras

15 years 10 months ago

Download bonda.cnuce.cnr.it

Cinzia Bernardeschi, Andrea Bondavalli, Luca Simon...

claim paper

Read More »

193

click to vote

REX
1993

156views Logical Reasoning» more REX 1993»

Process Algebra with Backtracking

15 years 10 months ago

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Alban Ponse, Jos van Wamel

claim paper

Read More »

142

click to vote

LICS
1989
IEEE

99views Automated Reasoning» more LICS 1989»

Towards Action-Refinement in Process Algebras

15 years 10 months ago

Download www.tara.tcd.ie

Luca Aceto, Matthew Hennessy

claim paper

Read More »

131

click to vote

AMAST
2004
Springer

90views Software Engineering» more AMAST 2004»

State Space Reduction for Process Algebra Specifications

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers