Compositional specification of commercial contracts-Reference-Cited by-同舟云学术

Compositional specification of commercial contracts

Published:2006-10-21 Issue:6 Volume:8 Page:485-516
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Andersen Jesper,Elsborg Ebbe,Henglein Fritz,Simonsen Jakob Grue,Stefansen Christian

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/s10009-006-0010-1.pdf

Reference22 articles.

1. Andersen, J., Elsborg, E.: Compositional specification of commercial contracts. M.S. term project, December (2003)

2. Arkin, A.: Business process modeling language, (2002)

3. Baeten J.C.M., Middelburg C.A. (2002) Process Algebra with Timing. Springer, Berlin Heidelberg New York

4. Baeten J.C.M., Weijland W.P. (1990) Process Algebra. Number 18 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge

5. Brookes S.D., Hoare C.A.R., Roscoe A.W. (1984) A theory of communicating sequential processes. J. ACM 31(3):560–599

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Programming Languages and Law: A Research Agenda;Proceedings of the 2022 Symposium on Computer Science and Law;2022-11

2. Event-Based Supply Chain Network Modeling: Blockchain for Good Coffee;Frontiers in Blockchain;2022-06-06

3. On Designing Applied DSLs for Non-Programming Experts in Evolving Domains;2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS);2021-10

4. Enacting policies in digital health: a case for smart legal contracts and distributed ledgers?;The Knowledge Engineering Review;2020

5. A Formally Verified Static Analysis Framework for Compositional Contracts;Financial Cryptography and Data Security;2020