Duration Calculus - Monographs in Theoretical Computer Science An EATCS Series
Latest Publications

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642074042, 9783662067840

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Decidability

Duration Calculus - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-662-06784-0_6 ◽

2004 ◽

pp. 99-110

Author(s):

Zhou Chaochen ◽

Michael R. Hansen

Download Full-text

Duration Calculus

Duration Calculus - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-662-06784-0_3 ◽

2004 ◽

pp. 41-65 ◽

Author(s):

Zhou Chaochen ◽

Michael R. Hansen

Keyword(s):

Duration Calculus

Download Full-text

Interval Logic

Duration Calculus - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-662-06784-0_2 ◽

2004 ◽

pp. 23-39

Author(s):

Zhou Chaochen ◽

Michael R. Hansen

Keyword(s):

Download Full-text

Relative Completeness

Duration Calculus - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-662-06784-0_5 ◽

2004 ◽

pp. 89-97

Author(s):

Zhou Chaochen ◽

Michael R. Hansen

Download Full-text

Superdense State Transitions

Duration Calculus - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-662-06784-0_10 ◽

2004 ◽

pp. 165-188

Author(s):

Zhou Chaochen ◽

Michael R. Hansen

Keyword(s):

State Transitions

Download Full-text

State Transitions and Events

Duration Calculus - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-662-06784-0_9 ◽

2004 ◽

pp. 145-163

Author(s):

Zhou Chaochen ◽

Michael R. Hansen

Keyword(s):

State Transitions

Download Full-text

Deadline-Driven Scheduler

Duration Calculus - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-662-06784-0_4 ◽

2004 ◽

pp. 67-87

Author(s):

Zhou Chaochen ◽

Michael R. Hansen

Keyword(s):

Deadline Driven Scheduler

Download Full-text

Neighborhood Logic

Duration Calculus - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-662-06784-0_11 ◽

2004 ◽

pp. 189-207

Author(s):

Zhou Chaochen ◽

Michael R. Hansen

Download Full-text

Probabilistic Duration Calculus

Duration Calculus - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-662-06784-0_12 ◽

2004 ◽

pp. 209-226

Author(s):

Zhou Chaochen ◽

Michael R. Hansen

Keyword(s):

Duration Calculus

Download Full-text

Model Checking: Linear Duration Invariants

Duration Calculus - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-662-06784-0_8 ◽

2004 ◽

pp. 125-144

Author(s):

Zhou Chaochen ◽

Michael R. Hansen

Keyword(s):

Download Full-text