Real-Time: Theory in Practice - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540555643, 9783540472186

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abstraction in real time process algebra

Real-Time: Theory in Practice - Lecture Notes in Computer Science ◽

10.1007/bfb0031999 ◽

1992 ◽

pp. 325-352 ◽

Cited By ~ 6

Author(s):

A. S. Klusener

Keyword(s):

Real Time ◽

Process Algebra ◽

Time Process

Download Full-text

Semantics and completeness of Duration Calculus

Real-Time: Theory in Practice - Lecture Notes in Computer Science ◽

10.1007/bfb0031994 ◽

1992 ◽

pp. 209-225 ◽

Cited By ~ 26

Author(s):

Michael R. Hansen ◽

Zhou Chaochen

Keyword(s):

Duration Calculus

Download Full-text

The theory of timed automata

Real-Time: Theory in Practice - Lecture Notes in Computer Science ◽

10.1007/bfb0031987 ◽

1992 ◽

pp. 45-73 ◽

Cited By ~ 71

Author(s):

Rajeev Alur ◽

David Dill

Keyword(s):

Timed Automata

Download Full-text

Problems, promises and performance: some questions for real-time system specification

Real-Time: Theory in Practice - Lecture Notes in Computer Science ◽

10.1007/bfb0031998 ◽

1992 ◽

pp. 315-324 ◽

Cited By ~ 2

Author(s):

Mathai Joseph

Keyword(s):

Real Time ◽

System Specification ◽

Time System ◽

Real Time System ◽

And Performance

Download Full-text

Time in state based formal description techniques for distributed systems

Real-Time: Theory in Practice - Lecture Notes in Computer Science ◽

10.1007/bfb0031991 ◽

1992 ◽

pp. 149-175

Author(s):

Jp. Courtiat ◽

M. Diaz

Keyword(s):

Distributed Systems ◽

Formal Description ◽

Formal Description Techniques

Download Full-text

Logics and models of real time: A survey

Real-Time: Theory in Practice - Lecture Notes in Computer Science ◽

10.1007/bfb0031988 ◽

1992 ◽

pp. 74-106 ◽

Cited By ~ 196

Author(s):

Rajeev Alur ◽

Thomas A. Henzinger

Keyword(s):

Real Time

Download Full-text

Verifying automata specifications of probabilistic real-time systems

Real-Time: Theory in Practice - Lecture Notes in Computer Science ◽

10.1007/bfb0031986 ◽

1992 ◽

pp. 28-44 ◽

Cited By ~ 25

Author(s):

Rajeev Alur ◽

Costas Courcoubetis ◽

David Dill

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Predicative specification of timed processes

Real-Time: Theory in Practice - Lecture Notes in Computer Science ◽

10.1007/bfb0032009 ◽

1992 ◽

pp. 603-617

Author(s):

Michael Schenke

Download Full-text

An old-fashioned recipe for real time

Real-Time: Theory in Practice - Lecture Notes in Computer Science ◽

10.1007/bfb0031985 ◽

1992 ◽

pp. 1-27 ◽

Cited By ~ 70

Author(s):

Martín Abadi ◽

Leslie Lamport

Keyword(s):

Real Time

Download Full-text

An overview and synthesis on timed process algebras

Real-Time: Theory in Practice - Lecture Notes in Computer Science ◽

10.1007/bfb0032006 ◽

1992 ◽

pp. 526-548 ◽

Cited By ~ 50

Author(s):

Xavier Nicollin ◽

Joseph Sifakis

Keyword(s):

Process Algebras

Download Full-text

Real-Time: Theory in Practice - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Abstraction in real time process algebra

Semantics and completeness of Duration Calculus

The theory of timed automata

Problems, promises and performance: some questions for real-time system specification

Time in state based formal description techniques for distributed systems

Logics and models of real time: A survey

Verifying automata specifications of probabilistic real-time systems

Predicative specification of timed processes

An old-fashioned recipe for real time

An overview and synthesis on timed process algebras

Real-Time: Theory in Practice - Lecture Notes in Computer Science
Latest Publications