Mathematical models of object-based distributed systems

Authors:
Carlos Henrique C. Duarte
Affiliations:
BNDES, Rio de Janeiro, RJ, Brazil
Venue:
Formal modeling
Year:
2011

Citing 18
Cited 0

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Computing on an anonymous ring

Journal of the ACM (JACM)
Parallel program design: a foundation

Parallel program design: a foundation
Concurrency in heavily loaded neighborhood-constrained systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)
The temporal logic of actions

ACM Transactions on Programming Languages and Systems (TOPLAS)
A proof-theoretic approach to the design of object-based mobility

FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Specifying distributed information systems: fundamentals of an object-oriented approach using distributed temporal logic

FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Distributed systems (2nd Ed.)

Distributed systems (2nd Ed.)
What good are models and what models are good?

Distributed systems (2nd Ed.)
Fault-tolerant broadcasts and related problems

Distributed systems (2nd Ed.)
The topological structure of asynchronous computability

Journal of the ACM (JACM)
A rely-guarantee discipline for open distributed systems design

Information Processing Letters - Special issue analytical theory of fuzzy control with applications
Wait-Free k-Set Agreement is Impossible: The Topology of Public Knowledge

SIAM Journal on Computing
Distributed Algorithms

Distributed Algorithms
Composable Semantic Models for Actor Theories

Higher-Order and Symbolic Computation
Locally linear time temporal logic

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A foundation for actor computation

Journal of Functional Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an alternative characterisation of object-based distributed systems in terms of algebraic structures and topological spaces. Some examples are given in order to attest the adequacy of this approach to the subject. We also illustrate a method of transference of results from these mathematical theories that can further contribute to the advancement of distributed systems theory.