We explain the main ingredients of the Abstract State Machines (ASM) method for high-level
system design and analysis and survey some of its application highlights in industrial …

Nominal sets provide a promising new mathematical analysis of names in formal languages
based upon symmetry, with many applications to the syntax and semantics of programming …

While a typical software component has a clearly specified (static) interface in terms of the
methods and the input/output types they support, information about the correct sequencing …

The rise of the Internet and the growth of distributed computing have led to a major paradigm
shift in software engineering and computer science. Until recently, the notion of computation …

We present a theory of timed interfaces, which is capable of specifying both the timing of the
inputs a component expects from the environment, and the timing of the outputs it can …

We present the general theory of the method of glueing and associated technique of
orthogonality for constructing categorical models of all the structure of linear logic: in …

Abstract The European Commission's eEurope initiative aims to bring every citizen, home,
school, business and administration online to create a digitally literate Europe. The value …

The very existence of the CONCUR conference bears witness to the fact that" concurrency
theory" has developed into a subject unto itself, with substantiaUy different emphases and …

This thesis investigates two main issues concerning the behavior of rational agents,
preference dynamics and agent diversity. We take up two questions left aside by von Wright …

The increased interactivity and connectivity of computational devices along with the
spreading of computational tools and computational thinking across the fields, has changed …