Search Sciweavers | Sciweavers

816 search results - page 11 / 164

» Abstract Barycentric Algebras

125

Voted

CONCUR
1995
Springer

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

Delayed choice for process algebra with abstraction

15 years 7 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper

Read More »

111

click to vote

CSL
1995
Springer

105views Automated Reasoning» more CSL 1995»

An Evolving Algebra Abstract Machine

15 years 7 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo, Igor Durdanovic, Uwe Gl&aum...

claim paper

Read More »

111

click to vote

FCT
1995
Springer

94views Applied Computing» more FCT 1995»

Discrete Time Process Algebra with Abstraction

15 years 7 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

108

click to vote

DAGSTUHL
2007

96views Software Engineering» more DAGSTUHL 2007»

07411 Abstracts Collection -- Algebraic Methods in Computational Complexity

15 years 5 months ago

Download drops.dagstuhl.de

Manindra Agrawal, Harry Buhrman, Lance Fortnow, Th...

claim paper

Read More »

104

click to vote

DAGSTUHL
2004

93views Software Engineering» more DAGSTUHL 2004»

04421 Abstracts Collection - Algebraic Methods in Computational Complexity

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers