Next: Foundational models and abstract Up: CONFER-2 CONcurrency and Functions: Previous: Software deliverables
Next: Foundational models and abstract
Up: CONFER-2 CONcurrency and Functions:
Previous: Software deliverables
Reports are done along the 4 areas announced in page 4 of the technical annex.
-calculus