Historical interest only: A Dataspace-like language and system that led to "Network Calculus" (ESOP 2014) and minimart-2014, in turn a predecessor to Syndicate.
https://syndicate-lang.org/papers#gjthf-esop14
ffeec62820 | ||
---|---|---|
index.html |
ffeec62820 | ||
---|---|---|
index.html |