Pointer and escape analysis for multithreaded programs
PPoPP '01 Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming
Nivat's processes and their synchronization
Theoretical Computer Science
Towards Formal Modeling of e-Contracts
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Dealing with contract violations: formalism and domain specific language
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Contract based multi-party service composition
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
From public views to private views: correctness-by-design for services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
| Hi-index | 0.00 |
In regulated interactive systems, one party's behaviour may impose restrictions on how others may behave when interacting with it. These restrictions may be seen as implicit contracts which the affected party has to conform to and may thus be considered inappropriate or excessive if they overregulate one of the parties. In this paper we characterise such implicit contracts and present an algorithmic way of synthesising them using a formalism based on contract automata to regulate interactive action-based systems.