Historical interest only: A Dataspace-like language and system based on "Network Calculus" (ESOP 2014). https://syndicate-lang.org/papers#gjthf-esop14

Tony Garnock-Jones 24b88e2cf1 First call!		2013-10-28 10:18:09 +00:00
core.rkt	Log termination of processes	2013-10-28 10:17:40 +00:00
demand-matcher.rkt	Demand matcher	2013-10-26 19:14:11 +01:00
example.rkt	First call!	2013-10-28 10:18:09 +00:00
functional-queue.rkt	Functional queue	2013-10-26 18:41:37 +01:00
ground.rkt	run-actor -> run-ground, and detect system inertness.	2013-10-28 10:17:59 +00:00
pattern.rkt	Presence detector	2013-10-26 19:07:10 +01:00
presence-detector.rkt	Presence detector	2013-10-26 19:07:10 +01:00
test-pattern.rkt	Simple quasi-unifier.	2013-10-24 21:32:14 +01:00