... Greaves¹

David.Greaves@cl.cam.ac.uk

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... clients^1.1

Server-side RPC requires further study, because of the potentially unlimited number of concurrent activations that must be held as server state.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... fields.^1.2

In the future, we may define forms of Pushlogic that are not called Simple Pushlogic. These may support dynamic state creation, e.g. to implement RPC server sides.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... interpreter).^4.1

We also plan to implement a compiler that generates native C code from the bytecode, because the current byte code interpreter is RAM-hungry and slow.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... bundle.^4.2

Currently we have implemented our own protocol, running over UDP, called ETC, that implements the field writes, remote registrations for events and code and API reflection, but there is little reason not to use the standard protocols.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... field.^4.3

This constraint is concave, in that two parts of an admissable bundle, considered as separate bundles, might be inadmissable in isolation.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... time.^6.1

An exception is that if only one time expression exists and it refers to a periodic temporal extent then it has no effect.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... checking.^8.1

Variations on this model are required in practice, to provide localised behaviour and assurances, to dynamic allow merging and dividing of domains and to provide federation of domains where knowledge about peer domains is available in summary form only.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.