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.
Conference Systems