Search Sciweavers | Sciweavers

11561 search results - page 114 / 2313

» Open Distributed Processing

130

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 »

138

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 »

201

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 »

127

click to vote

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 »

129

click to vote

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