Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are a

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathem

Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-orien