Often in Software Engineering, a modeling formalism has to support scena...
Modelling complex information systems often entails the need for dealing...
Kleene algebra with tests (KAT) was introduced as an algebraic structure...
We propose E^↓-logic as a formal foundation for the
specification and de...