Skip to main content

A Brief History of Timed CSP

Jim Davies and Steve Schneider

Journal
Theoretical Computer Science
Number
2
Pages
243−271
Volume
138
Year
1995