AMR

#	Item
1	Contract Monitoring Semantics as Patterns of Communication Cameron Swords Amr Sabry Sam Tobin-Hochstadt Add to Reading List Source URL: homes.sice.indiana.edu Language: English - Date: 2015-02-28 14:55:06 Theoretical computer science Lambda calculus Inter-process communication Software engineering Mathematical logic Combinatory logic Logic in computer science Futures and promises Evaluation strategy Evaluation Monitor Futures contract
2	PDF Document Add to Reading List Source URL: www.amr-seminar.org - Date: 2010-08-24 15:48:47
3	PDF Document Add to Reading List Source URL: www.amr-seminar.org - Date: 2010-02-21 10:24:35
4	PDF Document Add to Reading List Source URL: www.amr-seminar.org - Date: 2013-09-06 04:15:38
5	PDF Document Add to Reading List Source URL: www.amr-seminar.org - Date: 2005-06-28 04:12:51
6	PDF Document Add to Reading List Source URL: www.amr-seminar.org - Date: 2018-05-15 22:39:11
7	PDF Document Add to Reading List Source URL: www.amr-seminar.org - Date: 2010-06-23 09:53:43
8	PDF Document Add to Reading List Source URL: www.amr-seminar.org - Date: 2013-09-06 04:33:50
9	PDF Document Add to Reading List Source URL: www.amr-seminar.org - Date: 2014-04-05 10:42:51
10	PDF Document Add to Reading List Source URL: www.amr-seminar.org - Date: 2014-04-08 03:11:22