A trace-based model for multiparty contracts
From MaRDI portal
Publication:764380
DOI10.1016/j.jlap.2011.04.010zbMath1235.91116OpenAlexW2150914758MaRDI QIDQ764380
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
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Auctions, bargaining, bidding and selling, and other market models (91B26)
Cites Work
- Unnamed Item
- Unnamed Item
- Linear logic
- Defining liveness
- Contrary-to-duty obligations
- A brief account of runtime verification
- Deontic logic and possible worlds semantics: A historical sketch
- Run-Time Monitoring of Electronic Contracts
- Challenges in the Specification of Full Contracts
- A Formal Language for Electronic Contracts