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

An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. Castro, P. F. & Maibaum, T. S. E. In Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pages 151–160, 2007. IEEE Computer Society.

Paper doi bibtex

@inproceedings{DBLP:conf/sefm/CastroM07,
  author    = {Pablo F. Castro and
               T. S. E. Maibaum},
  title     = {An ought-to-do deontic logic for reasoning about fault-tolerance:
               the diarrheic philosophers},
  booktitle = {Fifth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
               {UK}},
  pages     = {151--160},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {https://doi.org/10.1109/SEFM.2007.7},
  doi       = {10.1109/SEFM.2007.7},
  timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl    = {https://dblp.org/rec/conf/sefm/CastroM07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0

{"_id":"mkJ7KWciDLTTcwXS8","bibbaseid":"castro-maibaum-anoughttododeonticlogicforreasoningaboutfaulttolerancethediarrheicphilosophers-2007","authorIDs":[],"author_short":["Castro, P. F.","Maibaum, T. S. E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Pablo","F."],"propositions":[],"lastnames":["Castro"],"suffixes":[]},{"firstnames":["T.","S.","E."],"propositions":[],"lastnames":["Maibaum"],"suffixes":[]}],"title":"An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers","booktitle":"Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK","pages":"151–160","publisher":"IEEE Computer Society","year":"2007","url":"https://doi.org/10.1109/SEFM.2007.7","doi":"10.1109/SEFM.2007.7","timestamp":"Wed, 16 Oct 2019 14:14:57 +0200","biburl":"https://dblp.org/rec/conf/sefm/CastroM07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sefm/CastroM07,\n author = {Pablo F. Castro and\n T. S. E. Maibaum},\n title = {An ought-to-do deontic logic for reasoning about fault-tolerance:\n the diarrheic philosophers},\n booktitle = {Fifth {IEEE} International Conference on Software Engineering and\n Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,\n {UK}},\n pages = {151--160},\n publisher = {{IEEE} Computer Society},\n year = {2007},\n url = {https://doi.org/10.1109/SEFM.2007.7},\n doi = {10.1109/SEFM.2007.7},\n timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},\n biburl = {https://dblp.org/rec/conf/sefm/CastroM07.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Castro, P. F.","Maibaum, T. S. E."],"key":"DBLP:conf/sefm/CastroM07","id":"DBLP:conf/sefm/CastroM07","bibbaseid":"castro-maibaum-anoughttododeonticlogicforreasoningaboutfaulttolerancethediarrheicphilosophers-2007","role":"author","urls":{"Paper":"https://doi.org/10.1109/SEFM.2007.7"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/57/1847.bib","creationDate":"2020-03-30T21:52:56.622Z","downloads":0,"keywords":[],"search_terms":["ought","deontic","logic","reasoning","fault","tolerance","diarrheic","philosophers","castro","maibaum"],"title":"An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers","year":2007,"dataSources":["odknEzArZpzeByAHu"]}