A Calculus Supporting Contract Reasoning and Monitoring
Over these past years, formal reasoning about contracts between parties participating in a transaction has been increasingly explored in the literature. There has been a shift of view from one viewing contracts simply as properties to be satisfied by the parties, to one in which contracts are consid...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2017-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/7909015/ |