Sciweavers

7 search results - page 1 / 2

» concur 1992

12

CONCUR
1992
Springer

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

Verification of Parallel Systems via Decomposition

13 years 9 months ago

Verification of Parallel Systems via Decomposition

Download www.win.tue.nl

Jan Friso Groote, Faron Moller

claim paper

Read More »

15

CONCUR
1992
Springer

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

Bisimulation Equivalence is Decidable for all Context-Free Processes

13 years 9 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 »

13

CONCUR
1992
Springer

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

Action Transducers and Timed Automata

13 years 9 months ago

Action Transducers and Timed Automata

Download groups.csail.mit.edu

Frits W. Vaandrager, Nancy A. Lynch

claim paper

Read More »

13

CONCUR
1992
Springer

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

Towards a Theory of Actor Computation

13 years 9 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 »

20

CONCUR
1992
Springer

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

Discrete Time Process Algebra

13 years 9 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 »