Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/11841883_20 ◽

2006 ◽

pp. 275-290

Author(s):

Odorico Machado Mendizabal ◽

Fernando Luis Dotti

Keyword(s):

Functional Analysis ◽

Distributed Systems ◽

Graph Grammars ◽

Object Based

Download Full-text

Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars

Lecture Notes in Computer Science - Dependable Computing ◽

10.1007/11572329_9 ◽

2005 ◽

pp. 80-100 ◽

Cited By ~ 2

Author(s):

Fernando L. Dotti ◽

Odorico M. Mendizabal ◽

Osmar M. dos Santos

Keyword(s):

Distributed Systems ◽

Fault Tolerant ◽

Graph Grammars ◽

Object Based

Download Full-text

Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars

2011 Workshop-School on Theoretical Computer Science ◽

10.1109/weit.2011.33 ◽

2011 ◽

Author(s):

Leila Ribeiro ◽

Fernando Luis Dotti

Keyword(s):

Concurrent Systems ◽

Graph Grammars ◽

Object Based

Download Full-text

Linear-Ordered Graph Grammars: Applications to Distributed Systems Design

Concurrency, Graphs and Models - Lecture Notes in Computer Science ◽

10.1007/978-3-540-68679-8_9 ◽

2008 ◽

pp. 133-150

Author(s):

Leila Ribeiro ◽

Fernando Luís Dotti

Keyword(s):

Distributed Systems ◽

Systems Design ◽

Graph Grammars

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

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