A Formal Language for Electronic Contracts

DOI10.1007/978-3-540-72952-5_11zbMath1202.68266OpenAlexW2109740450MaRDI QIDQ5428911

Gerardo Schneider, Cristian Prisacariu

Publication date: 28 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72952-5_11

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Internet topics (68M11)

Related Items (10)

A brief account of runtime verification ⋮ POETS: process-oriented event-driven transaction systems ⋮ Model Checking Contracts – A Case Study ⋮ A framework for conflict analysis of normative texts written in controlled natural language ⋮ A dynamic deontic logic for complex contracts ⋮ Run-Time Monitoring of Electronic Contracts ⋮ A Formal Language for Electronic Contracts ⋮ Challenges in the Specification of Full Contracts ⋮ $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts ⋮ A trace-based model for multiparty contracts

Cites Work

• Linear logic
• Action negation and alternative reductions for dynamic deontic logics
• Results on the propositional \(\mu\)-calculus
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus
• Contrary-to-duty obligations
• A practical decision method for propositional dynamic logic (Preliminary Report)
• A Formal Language for Electronic Contracts
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Formal Language for Electronic Contracts