Sciweavers

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