Search Sciweavers | Sciweavers

17582 search results - page 123 / 3517

» From Distributed Sequential Computing to Distributed Paralle...

115

click to vote

CONCUR
1993
Springer

66views Distributed And Parallel Com...» more CONCUR 1993»

Domains of Higher-Dimensional Automata

15 years 8 months ago

Download boole.stanford.edu

Eric Goubault

claim paper

Read More »

120

click to vote

CONCUR
1993
Springer

86views Distributed And Parallel Com...» more CONCUR 1993»

A Generalized Event Structure for the Muller Unfolding of a Safe Net

15 years 8 months ago

Download www.hpl.hp.com

Jeremy Gunawardena

claim paper

Read More »

106

Voted

CONCUR
1994
Springer

74views Distributed And Parallel Com...» more CONCUR 1994»

Testing-Based Abstractions for Value-Passing Systems

15 years 8 months ago

Download condor.depaul.edu

Rance Cleaveland, James Riely

claim paper

Read More »

112

Voted

HPCN
1994
Springer

96views Distributed And Parallel Com...» more HPCN 1994»

High-Performance Fortran

15 years 8 months ago

Download perso.numericable.fr

G. Matthijs van Waveren

claim paper

Read More »

118

Voted

REX
1993

111views Logical Reasoning» more REX 1993»

Interaction Diagrams

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers