Search Sciweavers | Sciweavers

3454 search results - page 76 / 691

» Modern computer algebra

154

click to vote

CONCUR
1995
Springer

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

Delayed choice for process algebra with abstraction

15 years 10 months ago

Download eprints.eemcs.utwente.nl

Pedro R. D'Argenio, Sjouke Mauw

claim paper

Read More »

151

Voted

REX
1991

107views Logical Reasoning» more REX 1991»

The State Operator in Real Time Process Algebra

15 years 10 months ago

Download igitur-archive.library.uu.nl

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

156

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 »

176

click to vote

ACS
1999

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

Homotopy Structures for Algebras over a Monad

15 years 6 months ago

Download www.dima.unige.it

Marco Grandis, John MacDonald

claim paper

Read More »

102

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 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers