Old Web
English
Sign In
Acemap
>
Paper
>
Specifying message passing and real-time systems with real-time temporal logic
Specifying message passing and real-time systems with real-time temporal logic
1987
R.L.C. Koymans
Ruurd Kuiper
E Zijlstra
Keywords:
Message passing
Temporal logic
Interval temporal logic
Real-time computing
Distributed computing
Computer science
Parallel computing
Correction
Source
Cite
Save
Machine Reading By IdeaReader
1
References
24
Citations
NaN
KQI
[]