Sciweavers

581 search results - page 13 / 117
» On Real-Time and Non Real-Time Distributed Computing
Sort
View
CONCUR
1995
Springer
15 years 3 months ago
Compositional Model Checking of Real Time Systems
François Laroussinie, Kim Guldstrand Larsen
85
Voted
REX
1991
15 years 3 months ago
The State Operator in Real Time Process Algebra
Jos C. M. Baeten, Jan A. Bergstra