Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs-Reference-Cited by-同舟云学术

Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs

Published: Issue: Volume: Page:83-99
ISSN:
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bundgaard Mikkel,Glenstrup Arne John,Hildebrandt Thomas,Højsgaard Espen,Niss Henning

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-68265-3_6.pdf

Reference20 articles.

1. Bundgaard, M., Glenstrup, A.J., Hildebrandt, T., Højsgaard, E.: An extensible formalization of WS-BPEL in binding bigraphs (submitted for publication, 2008)

2. Bundgaard, M., Glenstrup, A.J., Hildebrandt, T., Højsgaard, E., Niss, H.: Formalizing WS-BPEL and higher order mobile embedded business processes in the bigraphical programming languages (BPL) tool. Technical Report TR-2008-103, IT University of Copenhagen (2008)

3. ENTCS;M. Bundgaard,2006

4. ENTCS;M. Bundgaard,2007

5. Cardelli, L., Gordon, A.D.: Mobile ambients. Theoretical Computer Science 240(1), 177–213 (2000)

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

1. Computing (optimal) embeddings of directed bigraphs;Science of Computer Programming;2022-09

2. Towards a formal model for composable container systems;Proceedings of the 35th Annual ACM Symposium on Applied Computing;2020-03-29

3. Computing Embeddings of Directed Bigraphs;Graph Transformation;2020

4. Big-CAF: a bigraphical-generic cloud architecture framework;International Journal of Grid and Utility Computing;2017

5. Dynamic Ontologies and Semantic Web Rules as Bigraphical Reactive Systems;Lecture Notes in Computer Science;2014