A Formal Language for Electronic Contracts
From MaRDI portal
Publication:5428911
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
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