Matches in SemOpenAlex for { <https://semopenalex.org/work/W2806787430> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2806787430 endingPage "355" @default.
- W2806787430 startingPage "339" @default.
- W2806787430 abstract "Implementing smart contracts to automate the performance of high-value over-the-counter (OTC) financial derivatives is a formidable challenge. Due to the regulatory framework and the scale of financial risk if a contract were to go wrong, the performance of these contracts must be enforceable in law and there is an absolute requirement that the smart contract will be faithful to the intentions of the parties as expressed in the original legal documentation. Formal methods provide an attractive route for validation and assurance, and here we present early results from an investigation of the semantics of industry-standard legal documentation for OTC derivatives. We explain the need for a formal representation that combines temporal, deontic and operational aspects, and focus on the requirements for the temporal aspects as derived from the legal text. The relevance of this work extends beyond OTC derivatives and is applicable to understanding the temporal semantics of a wide range of legal documentation." @default.
- W2806787430 created "2018-06-13" @default.
- W2806787430 creator A5000099020 @default.
- W2806787430 creator A5019130943 @default.
- W2806787430 date "2018-01-01" @default.
- W2806787430 modified "2023-09-27" @default.
- W2806787430 title "Temporal Aspects of Smart Contracts for Financial Derivatives" @default.
- W2806787430 cites W2758225150 @default.
- W2806787430 cites W3121981728 @default.
- W2806787430 cites W4252025696 @default.
- W2806787430 doi "https://doi.org/10.1007/978-3-030-03427-6_26" @default.
- W2806787430 hasPublicationYear "2018" @default.
- W2806787430 type Work @default.
- W2806787430 sameAs 2806787430 @default.
- W2806787430 citedByCount "5" @default.
- W2806787430 countsByYear W28067874302019 @default.
- W2806787430 countsByYear W28067874302020 @default.
- W2806787430 countsByYear W28067874302021 @default.
- W2806787430 countsByYear W28067874302023 @default.
- W2806787430 crossrefType "book-chapter" @default.
- W2806787430 hasAuthorship W2806787430A5000099020 @default.
- W2806787430 hasAuthorship W2806787430A5019130943 @default.
- W2806787430 hasBestOaLocation W28067874302 @default.
- W2806787430 hasConcept C138885662 @default.
- W2806787430 hasConcept C158154518 @default.
- W2806787430 hasConcept C17744445 @default.
- W2806787430 hasConcept C184337299 @default.
- W2806787430 hasConcept C199360897 @default.
- W2806787430 hasConcept C199539241 @default.
- W2806787430 hasConcept C2776359362 @default.
- W2806787430 hasConcept C41008148 @default.
- W2806787430 hasConcept C41895202 @default.
- W2806787430 hasConcept C56666940 @default.
- W2806787430 hasConcept C6377922 @default.
- W2806787430 hasConcept C94625758 @default.
- W2806787430 hasConceptScore W2806787430C138885662 @default.
- W2806787430 hasConceptScore W2806787430C158154518 @default.
- W2806787430 hasConceptScore W2806787430C17744445 @default.
- W2806787430 hasConceptScore W2806787430C184337299 @default.
- W2806787430 hasConceptScore W2806787430C199360897 @default.
- W2806787430 hasConceptScore W2806787430C199539241 @default.
- W2806787430 hasConceptScore W2806787430C2776359362 @default.
- W2806787430 hasConceptScore W2806787430C41008148 @default.
- W2806787430 hasConceptScore W2806787430C41895202 @default.
- W2806787430 hasConceptScore W2806787430C56666940 @default.
- W2806787430 hasConceptScore W2806787430C6377922 @default.
- W2806787430 hasConceptScore W2806787430C94625758 @default.
- W2806787430 hasLocation W28067874301 @default.
- W2806787430 hasLocation W28067874302 @default.
- W2806787430 hasLocation W28067874303 @default.
- W2806787430 hasLocation W28067874304 @default.
- W2806787430 hasOpenAccess W2806787430 @default.
- W2806787430 hasPrimaryLocation W28067874301 @default.
- W2806787430 hasRelatedWork W1549289070 @default.
- W2806787430 hasRelatedWork W1843462531 @default.
- W2806787430 hasRelatedWork W2036641180 @default.
- W2806787430 hasRelatedWork W2167091778 @default.
- W2806787430 hasRelatedWork W2380389143 @default.
- W2806787430 hasRelatedWork W2498984090 @default.
- W2806787430 hasRelatedWork W2512694388 @default.
- W2806787430 hasRelatedWork W2562338470 @default.
- W2806787430 hasRelatedWork W3105626663 @default.
- W2806787430 hasRelatedWork W91919785 @default.
- W2806787430 isParatext "false" @default.
- W2806787430 isRetracted "false" @default.
- W2806787430 magId "2806787430" @default.
- W2806787430 workType "book-chapter" @default.