Search Sciweavers | Sciweavers

1532 search results - page 73 / 307

» An Algebraic Process Calculus

click to vote

CONCUR
1993
Springer

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

Non Interleaving Process Algebra

15 years 1 months ago

Download alexandria.tue.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

click to vote

CSL
1993
Springer

87views Automated Reasoning» more CSL 1993»

Process Algebra with Combinators

15 years 1 months ago

Download igitur-archive.library.uu.nl

Jan A. Bergstra, Inge Bethke, Alban Ponse

claim paper

Read More »

click to vote

FSTTCS
1994
Springer

101views Software Engineering» more FSTTCS 1994»

Priority and Abstraction in Process Algebra

15 years 1 months ago

Download www.cs.umd.edu

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

claim paper

Read More »

click to vote

PARLE
1993

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

From Data Flow Networks to Process Algebras

15 years 1 months ago

Download bonda.cnuce.cnr.it

Cinzia Bernardeschi, Andrea Bondavalli, Luca Simon...

claim paper

Read More »

113

click to vote

REX
1993

156views Logical Reasoning» more REX 1993»

Process Algebra with Backtracking

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers