Next:
History of QuLog/TeleoR
, Previous:
Top
, Up:
Top
[
Contents
][
Index
]
1 Overview of QuLog/TeleoR
•
What is QuLog?
•
What is TeleoR?
•
Unique operational semantics of a TeleoR procedure call