Compositional Analysis of Iterated Relations: Dynamics and Computations
Discrete-time relational dynamical systems are mathematical models of possibly nonlinear and nondeterministic, state-based transition systems. They describe the time evolution of forests, viruses, parallel programs or cooperating agents. This thesis develops the compositional analysis of iterated r...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
Universite catholique de Louvain
1997
|
| Subjects: | |
| Online Access: | http://edoc.bib.ucl.ac.be:81/ETD-db/collection/available/BelnUcetd-11082002-085822/ |