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

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540555643, 9783540472186

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The theory of timed automata

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

10.1007/bfb0031987 ◽

1992 ◽

pp. 45-73 ◽

Author(s):

Rajeev Alur ◽

David Dill

Keyword(s):

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 ◽

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 ◽

Author(s):

Rajeev Alur ◽

Thomas A. Henzinger

Keyword(s):

Download Full-text

Abstraction in real time process algebra

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

10.1007/bfb0031999 ◽

1992 ◽

pp. 325-352 ◽

Author(s):

A. S. Klusener

Keyword(s):

Real Time ◽

Process Algebra ◽

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 ◽

Author(s):

Michael R. Hansen ◽

Zhou Chaochen

Keyword(s):

Duration Calculus

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 ◽

Author(s):

Xavier Nicollin ◽

Joseph Sifakis

Keyword(s):

Process Algebras

Download Full-text

Putting time into proof outlines

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

10.1007/bfb0032010 ◽

1992 ◽

pp. 618-639 ◽

Author(s):

Fred B. Schneider ◽

Bard Bloom ◽

Keith Marzullo

Download Full-text

The state operator in real time process algebra

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

10.1007/bfb0031989 ◽

1992 ◽

pp. 107-123 ◽

Author(s):

J. C. M. Baeten ◽

J. A. Bergstra

Keyword(s):

Real Time ◽

Process Algebra ◽

The State ◽

Time Process ◽

Download Full-text

Timed transition systems

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

10.1007/bfb0031995 ◽

1992 ◽

pp. 226-251 ◽

Author(s):

Thomas A. Henzinger ◽

Zohar Manna ◽

Amir Pnueli

Keyword(s):

Transition Systems

Download Full-text