We present an overview and synthesis of existing results about process algebras for the
specification and analysis of timed systems. The motivation is double: present an overview …

Safety-critical computers increasingly affect nearly every aspect of our lives. Computers
control the planes we fly on, monitor our health in hospitals and do our work in hazardous …

A critical issue for complex component-based systems design is the modeling and analysis
of architecture. One of the complicating factors in developing architectural models is …

Using elementary rigorous methods we prove the existence of a clustered phase in the
random K-SAT problem, for K≥ 8. In this phase the solutions are grouped into clusters …

This paper is devoted to the presentation of the RT-LOTOS formal description technique,
which is a formalism suited for applications where concurrency, complex synchronization …

Performance analysis and formal correctness verification of computer communication
protocols and distributed systems have traditionally been considered as two separate fields …

Intheworldweliveinconcurrencyisthenorm. Forexample, thehumanbody
isamassivelyconcurrentsystem, comprisingahugenumberofcells, allsim-taneously evolving …

A reversible computing system features backward computations along which the effects of
forward ones are undone when needed. This is accomplished by reverting executed actions …

TIC is a timed algebraic calculus which combines ideas from asynchronous and
synchronous calculi. Time is introduced by assigning explicit time restrictions to the events of …

This thesis presents basic design concepts, design methods and a basic design language
for distributed system behaviours. This language is based on two basic concepts: the action …