Author:
Carbone Marco,Montesi Fabrizio,Schürmann Carsten
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Business Process Model and Notation,
http://www.omg.org/spec/BPMN/2.0/
2. Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Ann. Math. Artif. Intell. 4, 225–248 (1991)
3. Lecture Notes in Computer Science;P. Baltazar,2013
4. Basu, S., Bultan, T.: Choreography conformance via synchronizability. In: WWW, pp. 795–804 (2011)
5. Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: POPL, pp. 191–202 (2012)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pirouette: higher-order typed functional choreographies;Proceedings of the ACM on Programming Languages;2022-01-12
2. A Predicate Transformer for Choreographies;Programming Languages and Systems;2022
3. Prioritise the Best Variation;Formal Techniques for Distributed Objects, Components, and Systems;2021
4. Interconnectability of Session-Based Logical Processes;ACM Transactions on Programming Languages and Systems;2018-12-31
5. Choreographing cyber-physical distributed control systems for the energy sector;Proceedings of the Symposium on Applied Computing;2017-04-03