Search Sciweavers | Sciweavers

1730 search results - page 56 / 346

» Algebra and Computation

196

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 »

click to vote

GG
1990
Springer

94views Theoretical Computer Science» more GG 1990»

An Algebraic Theory of Graph Reduction

15 years 10 months ago

Download www.labri.fr

Stefan Arnborg, Bruno Courcelle, Andrzej Proskurow...

claim paper

Read More »

143

click to vote

CONCUR
1995
Springer

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

Delayed choice for process algebra with abstraction

15 years 9 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper

Read More »

144

click to vote

REX
1991

107views Logical Reasoning» more REX 1991»

The State Operator in Real Time Process Algebra

15 years 9 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

143

click to vote

CONCUR
2005
Springer

105views Distributed And Parallel Com...» more CONCUR 2005»

A Ground-Complete Axiomatization of Finite State Processes in Process Algebra

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers