Abstract: Distributive real-time autonomous systems like cyber-physical systems (CPS) and biology systems have become a hot topic nowadays. The high-level design of these systems shares a common ...

ABSTRACT: This survey article illustrates many important current trends and perspectives for the field and their applications, of interest to researchers in modern algebra, mathematical logic and ...

In this book we want to explore aspects of coherence in homological algebra, that already appear in the classical situation of abelian groups or abelian categories. Lattices of subobjects are shown to ...