1. Linda and friends;Ahuja;Computer,1986
2. Linear objects: logical processes with built-in inheritance;Andreoli;New Gener. Comput.,1991
3. Erlang;Armstrong;Commun. ACM,2010
4. Modern concurrency abstractions for C♯;Benton,2002
5. A linear-logic semantics for constraint handling rules with disjunction;Betz,2007