A very short paper on the OBJECT/EVENT-ANALYSIS

The advent of multicore architectures is a good incentive to better understand base synchronization mechanisms. This paper, which can be considered as a simple introduction to the topic, presents (with a pedagogical flavor) the concept of rendezvous (...

We describe a process-algebraic approach to verifying process interactions for business collaboration described in Business Process Modelling Notation. We first overview our process semantics for BPMN in the language of Communicating Sequential ...

Maintaining and restoring landscape connectivity is currently a central concern in ecology and biodiversity conservation, and there is an increasing demand of user-driven tools for integrating connectivity in landscape planning. Here we describe the new ...