Ian A Mason

Ian A Mason

SRI International - Kaliforniya / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4396848
-
person_outline Ian A Mason's MOST POPULAR ARTICLES
1-) A foundation for actor computationGA Agha, IA Mason, SF Smith, CL TalcottJournal of functional programming 7 (1), 1-72, 19976861997
2-) Equivalence in Functional Languages with EffectsIA Mason, CL TalcottJournal of functional programming 1, 287-327, 19912321991
3-) Propositional logic of contextS Buvac, IA MasonAAAI, 412-419, 19932161993
4-) Metamathematics of contextsS Buvač, V Buvač, IA MasonFundamenta Informaticae 23 (2-4), 263-301, 19952031995
5-) Towards a theory of actor computationG Agha, IA Mason, S Smith, C TalcottCONCUR\'92: Third International Conference on Concurrency Theory Stony Brook …, 19921641992