Author of the publication

A type-based locality analysis for a functional distributed language.

. University of Edinburgh, UK, (2000)British Library, EThOS.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Tractable reasoning about Agent Programming in Dynamic Preference Logic., , and . CoRR, (2019)Bringing Belief Base Change into Dynamic Epistemic Logic., and . DaLí, volume 12005 of Lecture Notes in Computer Science, page 190-205. Springer, (2019)Live-Out Register Fencing: Interrupt-Triggered Soft Error Correction Based on the Elimination of Register-to-Register Communication., , , , and . ACM Trans. Embed. Comput. Syst., 15 (3): 60:1-60:25 (2016)Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization., , and . CoRR, (2021)A non-conservative software-based approach for detecting illegal CFEs caused by transient faults., , , , and . DFTS, page 221-226. IEEE Computer Society, (2015)Generalized Iterated Belief Change in Dynamic Epistemic Logic., , and . BRACIS, page 693-698. IEEE, (2019)Agent-Oriented Programming with Underlying Ontological Reasoning., , , and . DALT, volume 3904 of Lecture Notes in Computer Science, page 155-170. Springer, (2005)A Dynamic Preference Logic for reasoning about Agent Programming., , , and . CoRR, (2019)Proving BDI Properties of Agent-Oriented Programming Languages., and . Ann. Math. Artif. Intell., 42 (1-3): 197-226 (2004)Agent-Oriented Programming with Underlying Ontological Reasoning, , , and . DALT, page 155-170. (2005)