Sciweavers

7 search results - page 1 / 2

» concur 1992

140

CONCUR
1992
Springer

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

Verification of Parallel Systems via Decomposition

15 years 10 months ago

Verification of Parallel Systems via Decomposition

Download www.win.tue.nl

Jan Friso Groote, Faron Moller

claim paper

Read More »

123

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

Bisimulation Equivalence is Decidable for all Context-Free Processes

Download homepages.inf.ed.ac.uk

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

claim paper

Read More »

109

CONCUR
1992
Springer

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

Action Transducers and Timed Automata

15 years 10 months ago

Action Transducers and Timed Automata

Download groups.csail.mit.edu

Frits W. Vaandrager, Nancy A. Lynch

claim paper

Read More »

140

CONCUR
1992
Springer

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

Towards a Theory of Actor Computation

15 years 10 months ago

Towards a Theory of Actor Computation

Download osl.cs.uiuc.edu

Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L....

claim paper

Read More »

186

CONCUR
1992
Springer

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

Discrete Time Process Algebra

15 years 10 months ago

Discrete Time Process Algebra

Download www.xs4all.nl

We introduce an ACP-style discrete-time process algebra with relative timing, that features the empty process. Extensions to this algebra are described, and ample attention is pai...

Jos C. M. Baeten, Jan A. Bergstra

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »