Open Distributed Systems
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Vieweg+Teubner Verlag

9783528053581, 9783322860095

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Conclusion

Open Distributed Systems ◽

10.1007/978-3-322-86009-5_9 ◽

1993 ◽

pp. 197-199

Author(s):

Reinhard Gotzhein

Download Full-text

The interaction point concept

Open Distributed Systems ◽

10.1007/978-3-322-86009-5_5 ◽

1993 ◽

pp. 77-114

Author(s):

Reinhard Gotzhein

Keyword(s):

Interaction Point

Download Full-text

Requirement specification of open distributed systems

Open Distributed Systems ◽

10.1007/978-3-322-86009-5_3 ◽

1993 ◽

pp. 17-30

Author(s):

Reinhard Gotzhein

Keyword(s):

Distributed Systems ◽

Requirement Specification ◽

Open Distributed Systems

Download Full-text

The design of a temporal logic for open distributed systems

Open Distributed Systems ◽

10.1007/978-3-322-86009-5_4 ◽

1993 ◽

pp. 31-76 ◽

Cited By ~ 1

Author(s):

Reinhard Gotzhein

Keyword(s):

Distributed Systems ◽

Temporal Logic ◽

Open Distributed Systems

Download Full-text

Formal methods in the system design process

Open Distributed Systems ◽

10.1007/978-3-322-86009-5_2 ◽

1993 ◽

pp. 9-16

Author(s):

Reinhard Gotzhein

Keyword(s):

System Design ◽

Formal Methods ◽

Design Process

Download Full-text

Introduction

Open Distributed Systems ◽

10.1007/978-3-322-86009-5_1 ◽

1993 ◽

pp. 1-7

Author(s):

Reinhard Gotzhein

Download Full-text

Applying temporal epistemic logics to open distributed systems

Open Distributed Systems ◽

10.1007/978-3-322-86009-5_8 ◽

1993 ◽

pp. 173-195

Author(s):

Reinhard Gotzhein

Keyword(s):

Distributed Systems ◽

Open Distributed Systems

Download Full-text

An epistemic logic for open distributed systems

Open Distributed Systems ◽

10.1007/978-3-322-86009-5_7 ◽

1993 ◽

pp. 143-171

Author(s):

Reinhard Gotzhein

Keyword(s):

Distributed Systems ◽

Epistemic Logic ◽

Open Distributed Systems

Download Full-text

Communication services

Open Distributed Systems ◽

10.1007/978-3-322-86009-5_6 ◽

1993 ◽

pp. 115-142

Author(s):

Reinhard Gotzhein

Keyword(s):

Communication Services

Download Full-text