Pages that link to "Item:Q5428911"
From MaRDI portal
The following pages link to A Formal Language for Electronic Contracts (Q5428911):
Displaying 11 items.
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- A trace-based model for multiparty contracts (Q764380) (← links)
- A brief account of runtime verification (Q2390027) (← links)
- POETS: process-oriented event-driven transaction systems (Q2390035) (← links)
- A framework for conflict analysis of normative texts written in controlled natural language (Q2436456) (← links)
- Model Checking Contracts – A Case Study (Q3510789) (← links)
- Run-Time Monitoring of Electronic Contracts (Q3540088) (← links)
- Challenges in the Specification of Full Contracts (Q3605474) (← links)
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts (Q3638294) (← links)
- (Q4738887) (← links)
- A Formal Language for Electronic Contracts (Q5428911) (← links)