Modern approaches to distributed software systems engineering are tightly bounded with
formal methods usage. The effective way of certain method application can leverage …

This paper provides a true-concurrency approach for the specification and verification of
systems of concurrent communicating agents with durable actions. We present high-level …