Search Sciweavers | Sciweavers

1730 search results - page 56 / 346

» Algebra and Computation

click to vote

REX
1993

156views Logical Reasoning» more REX 1993»

Process Algebra with Backtracking

14 years 2 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

14 years 2 months ago

Download www.labri.fr

Stefan Arnborg, Bruno Courcelle, Andrzej Proskurow...

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

14 years 1 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper

Read More »

click to vote

REX
1991

107views Logical Reasoning» more REX 1991»

The State Operator in Real Time Process Algebra

14 years 1 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

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

13 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers