Theory

Mathematical Models for optimisation and decision problems

How to model a mathematical problem?

Published on 3/1/2026

Basics Concepts of Concurrent Programming: Transition Systems

What defines formally a Labelled Transition System and how does its mathematical properties allow the caracterization of reach, non-determinism and modelling of concurrent processes?

Published on 2/23/2026

Basics Concepts of Concurrent Programming: Processes

How does concurrent programming works and what processes are involved?

Published on 2/22/2026