Theoretical Computer Science
A &kgr;-denotational semantics for map theory in ZFC + SI
Theoretical Computer Science
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
Mathematical Structures in Computer Science
Hi-index | 0.00 |