Executable Behaviour and the pi-Calculus

B. Luttik, F. Yang

Research output: Contribution to JournalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'Executable Behaviour and the pi-Calculus'. Together they form a unique fingerprint.

Computer Science