Reasoning About Histories in Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-0-387-35562-7_4 ◽

1999 ◽

pp. 35-49 ◽

Cited By ~ 1

Author(s):

F. S. Boer

Keyword(s):

Distributed Systems ◽

Object Based

Download Full-text

Formal Methods for Open Object-Based Distributed Systems

10.1007/11768869 ◽

2006 ◽

Cited By ~ 1

Keyword(s):

Distributed Systems ◽

Formal Methods ◽

Object Based

Download Full-text

Formal Methods for Open Object-based Distributed Systems

10.1007/978-0-387-35261-9 ◽

1997 ◽

Cited By ~ 3

Keyword(s):

Distributed Systems ◽

Formal Methods ◽

Object Based

Download Full-text

Formal Methods for Open Object-Based Distributed Systems IV

10.1007/978-0-387-35520-7 ◽

2000 ◽

Cited By ~ 1

Keyword(s):

Distributed Systems ◽

Formal Methods ◽

Object Based

Download Full-text

Object-based approach to programming distributed systems

Concurrency Practice and Experience ◽

10.1002/cpe.4330060403 ◽

1994 ◽

Vol 6 (4) ◽

pp. 235-249 ◽

Cited By ~ 2

Author(s):

A. S. Tanenbaum ◽

H. E. Bal ◽

S. Ben Hassen ◽

M. Frans Kaashoek

Keyword(s):

Distributed Systems ◽

Object Based

Download Full-text

An object-based model for dependable real-time distributed systems

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems ◽

10.1109/words.1996.506283 ◽

2002 ◽

Author(s):

Y.-J. Chen ◽

D. Mosse ◽

S.-K. Chang

Keyword(s):

Distributed Systems ◽

Real Time ◽

Object Based

Download Full-text

Erratum to: Formal Methods for Open Object-Based Distributed Systems IV

Formal Methods for Open Object-Based Distributed Systems IV - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-35520-7_21 ◽

2017 ◽

pp. E1-E1

Author(s):

Scott F. Smith ◽

Carolyn L. Talcott

Keyword(s):

Distributed Systems ◽

Formal Methods ◽

Object Based

Download Full-text

Formal Methods for Open Object-based Distributed Systems

10.1007/978-0-387-35082-0 ◽

1997 ◽

Cited By ~ 2

Keyword(s):

Distributed Systems ◽

Formal Methods ◽

Object Based

Download Full-text

Erratum to: Formal Methods for Open Object-Based Distributed Systems

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/11768869_20 ◽

2017 ◽

pp. E1-E1

Author(s):

Roberto Gorrieri ◽

Heike Wehrheim

Keyword(s):

Distributed Systems ◽

Formal Methods ◽

Object Based

Download Full-text

Dealing with atomicity in object-based distributed systems

ACM SIGPLAN OOPS Messenger ◽

10.1145/140959.140961 ◽

1992 ◽

Vol 3 (3) ◽

pp. 10-13 ◽

Cited By ~ 1

Author(s):

Rachid Guerraoui

Keyword(s):

Distributed Systems ◽

Object Based

Download Full-text

Formal Methods for Open Object-Based Distributed Systems

10.1007/b136996 ◽

2005 ◽

Cited By ~ 2

Keyword(s):

Distributed Systems ◽

Formal Methods ◽

Object Based

Download Full-text