Operational Semantics for Timed Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540255765, 9783540320081

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Operational Semantics of Discrete Systems

Operational Semantics for Timed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32008-1_5 ◽

2005 ◽

pp. 31-48

Author(s):

Heinrich Rust

Keyword(s):

Operational Semantics ◽

Discrete Systems

Download Full-text

A Production Cell with Timing

Operational Semantics for Timed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32008-1_16 ◽

2005 ◽

pp. 173-201 ◽

Author(s):

Heinrich Rust

Keyword(s):

Production Cell

Download Full-text

The Synchronous Approach to Concurrency

Operational Semantics for Timed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32008-1_9 ◽

2005 ◽

pp. 83-95

Author(s):

Heinrich Rust

Download Full-text

Context: Formal Methods in Software Engineering

Operational Semantics for Timed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32008-1_2 ◽

2005 ◽

pp. 5-12

Author(s):

Heinrich Rust

Keyword(s):

Software Engineering ◽

Download Full-text

Overview

Operational Semantics for Timed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32008-1_1 ◽

2005 ◽

pp. 1-3

Author(s):

Heinrich Rust

Download Full-text

Concurrency and Reactivity: Interleaving

Operational Semantics for Timed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32008-1_8 ◽

2005 ◽

pp. 75-82 ◽

Author(s):

Heinrich Rust

Download Full-text

A Notation for a Temporal Logic

Operational Semantics for Timed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32008-1_7 ◽

2005 ◽

pp. 63-72

Author(s):

Heinrich Rust

Keyword(s):

Download Full-text

Models of Time and of System Behaviors

Operational Semantics for Timed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32008-1_3 ◽

2005 ◽

pp. 15-22

Author(s):

Heinrich Rust

Download Full-text

An ASM Meta-model for Petri Nets with Timing

Operational Semantics for Timed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32008-1_14 ◽

2005 ◽

pp. 141-159

Author(s):

Heinrich Rust

Keyword(s):

Download Full-text

Making Use of Different Magnitudes of Reals

Operational Semantics for Timed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32008-1_12 ◽

2005 ◽

pp. 113-127

Author(s):

Heinrich Rust

Download Full-text