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


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
Start Conference Manager
Conference Systems