Sciweavers

TPPP
1994
13 years 8 months ago
Time and Information in Sequential and Concurrent Computation
Time can be understood as dual to information in extant models of both sequential and concurrent computation. The basis for this duality is phase space, coordinatized by time and ...
Vaughan R. Pratt
TPPP
1994
13 years 8 months ago
Advanced Component Interface Specification
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
Manfred Broy