Fish travel in schools, birds migrate in flocks, honeybees swarm, and ants build trails. How
and why do these collective behaviors occur? Exploring how coordinated group patterns …

Process Algebra is a formal description technique for complex computer systems, especially
those involving communicating, concurrently executing components. It is a subject that …

Automated and semi-automated manipulation of so-called labelled transition systems has
become an important means in discovering flaws in software and hardware systems …

When you think about how far and fast computer science has progressed in recent years, it's
not hard to conclude that a seven-year old handbook may fall a little short of the kind of …

In daily life we are more and more confronted with information technology, either explicitly
(by using PCs, Internet, Personal Digital Assistants, etc.) or implicitly by using devices like …

A distributed system is driven by separate components that are executed in parallel, and
protocols for such systems form a major aspect of system design in today's world of wireless …

This paper presents and evaluates a specification-based methodology for testing concurrent
programs. This methodology requires sequencing constraints, which specify restrictions on …

Code obfuscation is a set of transformations that make code programs harder to understand.
The goal of code obfuscation is to make reverse engineering of programs infeasible, while …

Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee Methods in
Isabelle/HOL Page 1 Verification of Parallel Programs with the Owicki-Gries and Rely-Guarantee …

This paper proposes a modelling approach suitable for formalizing fault tolerant systems,
taking into account different fault scenarios. Verification of the properties of such systems is …