Search Sciweavers | Sciweavers

3454 search results - page 76 / 691

» Modern computer algebra

142

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 »

143

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 »

142

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

Download alexandria.tue.nl

Jos C. M. Baeten, Mario Bravetti

claim paper

Read More »

164

click to vote

ACS
1999

103views Distributed And Parallel Com...» more ACS 1999»

Homotopy Structures for Algebras over a Monad

15 years 5 months ago

Download www.dima.unige.it

Marco Grandis, John MacDonald

claim paper

Read More »

click to vote

IPPS
2010
IEEE

117views Distributed And Parallel Com...» more IPPS 2010»

Dense linear algebra solvers for multicore with GPU accelerators

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers