The informatic derivative at a compact element

Keye Martin

To appear at Foundations of Software Science and Computation Structures (FOSSACS02), Grenoble, France, 6-14 April, 2002

Abstract

We extend the informatic derivative to compact elements of domains. This enables one to quantitatively analyze processes on domains regardless of whether or not the data they manipulate is `continuous' or `discrete.'

Server START Conference Manager
Update Time 14 Dec 2001 at 14:02:38
Maintainer fossacs02@brics.dk.
Start Conference Manager
Conference Systems