Askemos Forum

> Agents, capabilities,
> streams, scope and turing tapes,
> petri nets, statistics and other mathematics.

It was mentioned that the formal semantics formulated was based in set theory. Is there a document that specifies the formal semantics??

Regards, Bill Halchin