![](/img/cover-not-exists.png)
Constraining rule-based dynamics with types
DANOS, VINCENT, HARMER, RUSS, WINSKEL, GLYNNVolume:
23
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129512000114
Date:
April, 2013
File:
PDF, 325 KB
english, 2013