Sciweavers

7 search results - page 1 / 2
» concur 1992
Sort
View
112
Voted
CONCUR
1992
Springer
15 years 7 months ago
Verification of Parallel Systems via Decomposition
Jan Friso Groote, Faron Moller
98
Voted
CONCUR
1992
Springer
15 years 7 months ago
Bisimulation Equivalence is Decidable for all Context-Free Processes
Søren Christensen, Hans Hüttel, Colin ...
86
Voted
CONCUR
1992
Springer
15 years 7 months ago
Action Transducers and Timed Automata
Frits W. Vaandrager, Nancy A. Lynch
114
Voted
CONCUR
1992
Springer
15 years 7 months ago
Towards a Theory of Actor Computation
Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L....
147
Voted
CONCUR
1992
Springer
15 years 7 months ago
Discrete Time Process Algebra
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