A trace-based model for multiparty contracts

DOI10.1016/J.JLAP.2011.04.010zbMATH Open1235.91116OpenAlexW2150914758MaRDI QIDQ764380FDOQ764380

Eugen Zălinescu, Felix Klaedtke, Tom Hvitved

Publication date: 13 March 2012

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2011.04.010

zbMATH Keywords

contractsoperational semanticsblame assignmentcontract specification languagerun-time monitoring

Mathematics Subject Classification ID

Auctions, bargaining, bidding and selling, and other market models (91B26) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Linear logic
• A brief account of runtime verification
• Types and programing languages
• Contrary-to-duty obligations
• Defining liveness
• Run-Time Monitoring of Electronic Contracts
• A Formal Language for Electronic Contracts
• Deontic logic and possible worlds semantics: A historical sketch
• Challenges in the Specification of Full Contracts

This page was built for publication: A trace-based model for multiparty contracts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q764380)