Home

J._A.__Bergstra


A complete transformational toolkit for compilers

Discrete time network algebra for a semantic foundation of SDL

The discrete time TOOLBUS