Search Sciweavers | Sciweavers

11561 search results - page 114 / 2313

» Open Distributed Processing

136

click to vote

CONCUR
1992
Springer

101views Distributed And Parallel Com...» more CONCUR 1992»

Bisimulation Equivalence is Decidable for all Context-Free Processes

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Søren Christensen, Hans Hüttel, Colin ...

claim paper

Read More »

141

click to vote

PARLE
1993

134views Distributed And Parallel Com...» more PARLE 1993»

From Data Flow Networks to Process Algebras

15 years 10 months ago

Download bonda.cnuce.cnr.it

Cinzia Bernardeschi, Andrea Bondavalli, Luca Simon...

claim paper

Read More »

210

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 »

130

Voted

IPPS
1992
IEEE

87views Distributed And Parallel Com...» more IPPS 1992»

Exploiting Concurrency among Tasks in Partitionable Parallel Processing Systems

15 years 10 months ago

Download www.engr.colostate.edu

Wayne G. Nation, Anthony A. Maciejewski, Howard Ja...

claim paper

Read More »

131

Voted

PODC
1989
ACM

58views Distributed and Parallel Com...» more PODC 1989»

A Structural Induction Theorem for Processes

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers