Modelling and analysis of distributed systems: A net theoretic approach

2006 ◽  
pp. 175-188
Author(s):  
Sadatoshi Kumagai
Keyword(s):  
Distributed Systems ◽  
Theoretic Approach

A game-theoretic approach for cost-aware load balancing in distributed systems

2020 ◽  
Vol 109 ◽  
pp. 29-44
Author(s):  
Avadh Kishor ◽  
Rajdeep Niyogi ◽  
Bharadwaj Veeravalli
Keyword(s):  
Distributed Systems ◽  
Load Balancing ◽  
Theoretic Approach ◽  
Game Theoretic ◽  
Game Theoretic Approach

Proof-theoretic foundations for the design of actor systems

1999 ◽  
Vol 9 (3) ◽  
pp. 227-252 ◽  
Author(s):  
CARLOS H. C. DUARTE
Keyword(s):  
Distributed Systems ◽  
Programming Languages ◽  
Theoretical Research ◽  
Abstract Data Type ◽  
Distributed Programming ◽  
Theoretic Approach ◽  
Actor Model ◽  
Open Distributed Systems ◽  
Abstract Data ◽  
Theoretic Foundations

The pioneering work of Hewitt and Baker on the foundations of concurrency during the seventies has inspired the development of the actor model as a promising object-based framework for understanding open distributed systems. So far, theoretical research on actors has focused on identifying the basic primitives of the model and on characterising the operational behaviour of distributed programming languages in terms of actor components. In this paper, we show that the actor model can also be used as a faithful basis for rigorously designing open distributed systems. We argue that a proof-theoretic approach is better suited to this purpose. An abstract-data-type-like axiomatisation of the actor primitives is proposed to support composing and reasoning from specifications of actor communities within a temporal logical system.

Sign in / Sign up

Export Citation Format

Share Document