Actor model and process calculi

In computer science, the Actor model and process calculi are two closely related approaches to the modelling of concurrent digital computation. See…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

. The composition of heterogeneous software components is required in many domains to build complex systems. However, such…

2015

In this paper, the fixed-time cluster synchronization problem for complex networks via pinning control is discussed. Fixed-time…

2013

Psi-calculi is a parametric framework for process calculi similar to popular pi-calculus extensions such as the explicit fusion…

2012

In this paper a reduced generalized net (GN) that represents the functioning and the results of the work of an arbitrary Kahn…

2011

We consider the problem of multihop communication in ad hoc networks. This work was originally motivated by vehicular networks…

2004

Modeling and analysis of systems with large, infinite or parameterized state spaces has received much attention in the last…

2004

1. The principal mediators of vascular tone are neural, endothelial and ph ysical stimuli that result in the initiation of…

2003

The correct operation of computer protocols is essential to the smooth operation of the distributed systems that facilitate our…

1997

We consider the analysis of in nite half-duplex systems which consists of nite state machines that communicate over unbounded…

1986

We define a model to describe the global running of a network of processes, as well as termination detection. We find algorithms…