Search Sciweavers | Sciweavers

1532 search results - page 73 / 307

» An Algebraic Process Calculus

123

Voted

CONCUR
1993
Springer

88views Distributed And Parallel Com...» more CONCUR 1993»

Non Interleaving Process Algebra

15 years 10 months ago

Download alexandria.tue.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

120

click to vote

CSL
1993
Springer

87views Automated Reasoning» more CSL 1993»

Process Algebra with Combinators

15 years 10 months ago

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Inge Bethke, Alban Ponse

claim paper

Read More »

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 »

134

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 »

194

click to vote

REX
1993

156views Logical Reasoning» more REX 1993»

Process Algebra with Backtracking

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers