Author:
Fantechi Alessandro,Najm Elie
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed Parallel Databases 14(1), 5–51 (2003)
2. Lecture Notes in Artificial Intelligence;L. Alfaro de,2005
3. Lecture Notes in Computer Science;M. Boreale,2006
4. Caires, L., Ferrari, G., Pugliese, R., Ravara, A.: Behavioural Types for Service Composition. Deliverable D2.3.a, Sensoria project (September 2006)
5. Lecture Notes in Computer Science;W.R. Cook,2006
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. From Behavioural Contracts to Session Types;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
2. Modelling session types using contracts;Mathematical Structures in Computer Science;2014-11-10
3. Safe Session-Based Service Orchestration with Unreliable Communication;Lecture Notes in Computer Science;2014
4. Session types for safe Web service orchestration;The Journal of Logic and Algebraic Programming;2013-11
5. Adding Sessions to BPEL;Electronic Proceedings in Theoretical Computer Science;2012-10-22