Formal Methods for Open Object-Based Distributed Systems

Mapping Intimacies ◽

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

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

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

Formal Methods for Open Object-Based Distributed Systems

10.1007/978-3-540-68863-1 ◽

2008 ◽

Keyword(s):

Distributed Systems ◽

Formal Methods ◽

Object Based

Download Full-text

Formal Methods for Open Object-Based Distributed Systems

10.1007/b94120 ◽

2003 ◽

Keyword(s):

Distributed Systems ◽

Formal Methods ◽

Object Based

Download Full-text

Formal Methods for Open Object-Based Distributed Systems

10.1007/978-3-540-72952-5 ◽

2007 ◽

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-35562-7 ◽

1999 ◽

Cited By ~ 4

Keyword(s):

Distributed Systems ◽

Formal Methods ◽

Object Based

Download Full-text