Author of the publication

An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers.

, and . SEFM, page 151-160. IEEE Computer Society, (2007)

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

Goal-conflict detection based on temporal satisfiability checking., , , , and . ASE, page 507-518. ACM, (2016)Algebraic Foundations for Specification Refinements., and . SBMF, volume 10090 of Lecture Notes in Computer Science, page 112-128. (2016)Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting., , , and . ICTAC, volume 6255 of Lecture Notes in Computer Science, page 306-321. Springer, (2010)Encapsulating deontic and branching time specifications., and . Theor. Comput. Sci., (2012)Automated Reasoning over Deontic Action Logics with Finite Vocabularies., and . LAFM, volume 139 of EPTCS, page 16-30. (2013)An evolutionary approach to translating operational specifications into declarative specifications., , , , , , and . Sci. Comput. Program., (2019)dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification., , , and . SEFM, volume 7041 of Lecture Notes in Computer Science, page 106-121. Springer, (2011)A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting., , , and . ICTAC, volume 8687 of Lecture Notes in Computer Science, page 314-332. Springer, (2014)Deontic action logic, atomic boolean algebras and fault-tolerance., and . J. Applied Logic, 7 (4): 441-466 (2009)Categorical foundations for structured specifications in Z., , , and . Formal Asp. Comput., 27 (5-6): 831-865 (2015)