In modern society services and support provided by computer-based systems have become
ubiquitous and indeed have started to fund amentally alter the way people conduct their …

With the introduction of UML 2.0, many improvements to diagrams have been incorporated
into the language. Some of the major changes were applied to sequence diagrams, which …

Designs which do not fully utilize their arithmetic datapath components typically exhibit a
significant overhead in power consumption. Whenever a module performs an operation …

Acting systems aim at refining high-level actions into executable commands, while
managing access to resources, possible failures, or any other unpredictable situation …

We present a process algebra called TiMo in which timeouts of interactions and adaptable
migrations in a distributed environment with explicit locations can be specified. Timing …

This paper presents the toolkit snakes that is aimed at providing a flexible solution to the
problem of quickly prototy** Petri nets tools. In particular, snakes is expected to have as …

Formal specifications are now widely used for modelling systems and reasoning about them.
In particular, automated analysis through model-checking [28] is a successful approach that …

Petri nets and related models have been used for specification, analysis, and synthesis of
programs. The paper contains a survey of several literature approaches and an examination …

We propose an approach that integrates and extends known techniques from different areas
to handle and analyze a complex and large system described as a network of synchronized …

We present a process algebra where timeouts of interactions and adaptable migrations in a
distributed environment with explicit locations can be defined. Timing constraints allow to …