Han, Ning; Li, Ximeng; Wang, Guohui; Shi, Zhiping; Guan, Yong Formal verification of atomicity requirements for smart contracts. (English) Zbl 1476.68148 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 44-64 (2020). MSC: 68Q60 03B70 91B41 94A60 PDFBibTeX XMLCite \textit{N. Han} et al., Lect. Notes Comput. Sci. 12470, 44--64 (2020; Zbl 1476.68148) Full Text: DOI
Ribeiro, Maria; Adão, Pedro; Mateus, Paulo Formal verification of Ethereum smart contracts using Isabelle/HOL. (English) Zbl 1476.68156 Nigam, Vivek (ed.) et al., Logic, language, and security. Essays dedicated to Andre Scedrov on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12300, 71-97 (2020). MSC: 68Q60 03B70 68V15 91B41 94A60 PDFBibTeX XMLCite \textit{M. Ribeiro} et al., Lect. Notes Comput. Sci. 12300, 71--97 (2020; Zbl 1476.68156) Full Text: DOI
Owe, Olaf; Ramezanifarkhani, Toktam; Fazeldehkordi, Elahe Hoare-style reasoning from multiple contracts. (English) Zbl 1498.68168 Polikarpova, Nadia (ed.) et al., Integrated formal methods. 13th international conference, IFM 2017, Turin, Italy, September 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10510, 263-278 (2017). MSC: 68Q60 03B70 68N30 PDFBibTeX XMLCite \textit{O. Owe} et al., Lect. Notes Comput. Sci. 10510, 263--278 (2017; Zbl 1498.68168) Full Text: DOI
Camilleri, John J.; Schneider, Gerardo Modelling and analysis of normative documents. (English) Zbl 1371.68176 J. Log. Algebr. Methods Program. 91, 33-59 (2017). MSC: 68Q60 03B70 68Q45 PDFBibTeX XMLCite \textit{J. J. Camilleri} and \textit{G. Schneider}, J. Log. Algebr. Methods Program. 91, 33--59 (2017; Zbl 1371.68176) Full Text: DOI
Bartoletti, Massimo; Cimoli, Tiziana; Pinna, G. Michele; Zunino, Roberto Circular causality in event structures. (English) Zbl 1334.68145 Fundam. Inform. 134, No. 3-4, 219-259 (2014). Reviewer: Damas Gruska (Bratislava) MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{M. Bartoletti} et al., Fundam. Inform. 134, No. 3--4, 219--259 (2014; Zbl 1334.68145) Full Text: DOI
Vytiniotis, Dimitrios; Peyton Jones, Simon; Claessen, Koen; Rosén, Dan HALO, Haskell to logic through denotational semantics. (English) Zbl 1301.68085 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 431-442 (2013). MSC: 68N18 03B10 68N30 68T15 PDFBibTeX XMLCite \textit{D. Vytiniotis} et al., in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 431--442 (2013; Zbl 1301.68085) Full Text: DOI
Wang, Junyan; Zhao, Ruiqing; Tang, Wansheng Supply chain coordination by single-period and long-term contracts with fuzzy market demand. (English) Zbl 1212.90055 Tsinghua Sci. Technol. 14, No. 2, 218-224 (2009). MSC: 90B06 91A80 91B40 03E72 PDFBibTeX XMLCite \textit{J. Wang} et al., Tsinghua Sci. Technol. 14, No. 2, 218--224 (2009; Zbl 1212.90055) Full Text: DOI
Xie, Zheng; Li, Hongbo Exterior difference system on hypercubic lattice. (English) Zbl 1137.39014 Acta Appl. Math. 99, No. 1, 97-116 (2007). Reviewer: Marian Ioan Munteanu (Iaşi) MSC: 39A12 58A15 81T75 03G10 39A70 PDFBibTeX XMLCite \textit{Z. Xie} and \textit{H. Li}, Acta Appl. Math. 99, No. 1, 97--116 (2007; Zbl 1137.39014) Full Text: DOI
Wooldridge, Michael; van der Hoek, Wiebe On obligations and normative ability: Towards a logical analysis of the social contract. (English) Zbl 1081.03021 J. Appl. Log. 3, No. 3-4, 396-420 (2005). Reviewer: Louis F. Goble (Salem) MSC: 03B60 03B45 68T27 03B70 PDFBibTeX XMLCite \textit{M. Wooldridge} and \textit{W. van der Hoek}, J. Appl. Log. 3, No. 3--4, 396--420 (2005; Zbl 1081.03021) Full Text: DOI
Huth, Michael; Ryan, Mark Logic in computer science. Modelling and reasoning about systems. 2nd ed. (English) Zbl 1073.68001 Cambridge: Cambridge University Press (ISBN 0-521-54310-X/pbk; 978-0-521-83536-7/hbk). xiv, 427 p. (2004). Reviewer: Alfredo Burrieza Muñiz (Málaga) MSC: 68-01 03-01 03B70 68Q60 68T27 68Q55 94C10 PDFBibTeX XMLCite \textit{M. Huth} and \textit{M. Ryan}, Logic in computer science. Modelling and reasoning about systems. 2nd ed. Cambridge: Cambridge University Press (2004; Zbl 1073.68001) Full Text: DOI