Assume-guarantee synthesis for digital contract signing
type: Item
instance of: scholarly article
title: Assume-guarantee synthesis for digital contract signing
zbMATH Open document ID: 1342.94068
author: Krishnendu Chatterjee
author: Vishwanath Raman
published in: Formal Aspects of Computing
publication date: 2016-08-05T00:00:00Z
Mathematics Subject Classification ID: 94A60
Mathematics Subject Classification ID: 91A80
zbMATH DE Number: 6609452
zbMATH Keywords: graph games
zbMATH Keywords: model checking and synthesis
zbMATH Keywords: assume-guarantee reasoning
zbMATH Keywords: assume-guarantee synthesis
zbMATH Keywords: fair exchange protocols
zbMATH Keywords: digital contract signing
describes a project that uses: MOCHA
MaRDI profile type: Publication
full work available at URL: s00165-013-0283-6
OpenAlex ID: W1752787361
cites work: LTL model checking for security protocols
cites work: Optimistic fair exchange of digital signatures
cites work: Finite-state analysis of two contract signing protocols
cites work: Q3336675
cites work: Assume-Guarantee Synthesis
cites work: Q5743484
cites work: Games with secure equilibria
cites work: Formal analysis of multiparty contract signing
cites work: CONCUR 2003 - Concurrency Theory
cites work: Q4941873
cites work: Q4413343
cites work: Q4448415
cites work: Q4002642
cites work: Q4205072
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Q4950034
cites work: Q4250674
DOI: 10.1007/S00165-013-0283-6
description: scientific article; zbMATH DE number 6609452