We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
The use of Java for parallel programming on clusters according to the message-passing paradigm is an attractive choice. In this case, the overall application performance will larg...
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
Kahn process networks (KPNs) are a programming paradigm suitable for streaming-based multimedia and signal-processing applications. We discuss the execution of KPNs, and the criter...
The most recent advances of artificial life research are opening up a new frontier: the creation of simulated life environments populated by autonomous agents. In several cases a n...