Add to ORKGWe 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
In this paper we show how an object-oriented specification language is usefvl for the specification...
In this paper we propose a formal analytic graph- based description of zz-structures, an unusual, gr...
International audienceMore than two decades ago, combinatorial topology was shown to be useful for a...
AbstractWe review and extend some recent work that uses sheaf theory to provide a semantic foundatio...
AbstractIn several state-based approaches to distributed computing, e.g., action systems, or UNITY, ...
AbstractWe propose orthomodular posets, algebraic models of quantum logic, as a formal tool in concu...
The construction of models for distributed computations plays a very important role in designing and...
AbstractForewordThe main mathematical disciplines that have been used in theoretical computer scienc...
AbstractThe main mathematical disciplines that have been used in computer science are discrete mathe...
AbstractForewordThe main mathematical disciplines that have been used in theoretical computer scienc...
The objective of this thesis is to develop a theoretical understanding of computation in networked d...
AbstractThe object-oriented concurrent paradigm demands for a new object model and for reconsidering...
In this paper we propose a formal analytic graph-based description of zz-structures, an unusual, gra...
AbstractRecent advances in Multiagent Systems (MAS) and Epistemic Logic within Distributed Systems T...
AbstractThis paper contributes to the characterization of synchronous models of distributed computin...
In this paper we show how an object-oriented specification language is usefvl for the specification...
In this paper we propose a formal analytic graph- based description of zz-structures, an unusual, gr...
International audienceMore than two decades ago, combinatorial topology was shown to be useful for a...
AbstractWe review and extend some recent work that uses sheaf theory to provide a semantic foundatio...
AbstractIn several state-based approaches to distributed computing, e.g., action systems, or UNITY, ...
AbstractWe propose orthomodular posets, algebraic models of quantum logic, as a formal tool in concu...
The construction of models for distributed computations plays a very important role in designing and...
AbstractForewordThe main mathematical disciplines that have been used in theoretical computer scienc...
AbstractThe main mathematical disciplines that have been used in computer science are discrete mathe...
AbstractForewordThe main mathematical disciplines that have been used in theoretical computer scienc...
The objective of this thesis is to develop a theoretical understanding of computation in networked d...
AbstractThe object-oriented concurrent paradigm demands for a new object model and for reconsidering...
In this paper we propose a formal analytic graph-based description of zz-structures, an unusual, gra...
AbstractRecent advances in Multiagent Systems (MAS) and Epistemic Logic within Distributed Systems T...
AbstractThis paper contributes to the characterization of synchronous models of distributed computin...
In this paper we show how an object-oriented specification language is usefvl for the specification...
In this paper we propose a formal analytic graph- based description of zz-structures, an unusual, gr...
International audienceMore than two decades ago, combinatorial topology was shown to be useful for a...