CONCUR 1993 | Sciweavers

56

CONCUR
1993
Springer

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

Loop Parallelization in the Polytope Model

14 years 4 months ago

During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...

Christian Lengauer

claim paper

Read More »

28

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

14 years 4 months ago

Download www.hpl.hp.com

Jeremy Gunawardena

claim paper

Read More »

28

click to vote

CONCUR
1993
Springer

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

Domains of Higher-Dimensional Automata

14 years 4 months ago

Download boole.stanford.edu

Eric Goubault

claim paper

Read More »

34

click to vote

CONCUR
1993
Springer

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

The Linear Time - Branching Time Spectrum II

14 years 4 months ago

Download www.cse.unsw.edu.au

Rob J. van Glabbeek

claim paper

Read More »

28

click to vote

CONCUR
1993
Springer

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

An Elimination Theorem for Regular Behaviours with Integration

14 years 4 months ago

Download www.cs.vu.nl

Wan Fokkink

claim paper

Read More »

32

click to vote

CONCUR
1993
Springer

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

Modular Completeness for Communication Closed Layers

14 years 4 months ago

Download eprints.eemcs.utwente.nl

The Communication Closed Layers law is shown to be modular complete for a model related to that of Mazurkiewicz. It is shown that in a modular style of program development the CCL...

Maarten M. Fokkinga, Mannes Poel, Job Zwiers

claim paper

Read More »

40

click to vote

CONCUR
1993
Springer

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

A Practical Technique for Process Abstraction

14 years 4 months ago

Download ect.bell-labs.com

cal Technique for Process Abstraction Glenn Bruns Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Abstract. With algebraic laws a process can be simpli...

Glenn Bruns

claim paper

Read More »

30

click to vote

CONCUR
1993
Springer

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

Non Interleaving Process Algebra

14 years 4 months ago