Sensoria Process Calculi for Service-Oriented Computing-Reference-Cited by-同舟云学术

Sensoria Process Calculi for Service-Oriented Computing

Published:2007 Issue: Volume: Page:30-50
ISSN:0302-9743
Container-title:Trustworthy Global Computing
language:
Short-container-title:

Author:

Wirsing Martin,De Nicola Rocco,Gilmore Stephen,Hölzl Matthias,Lucchi Roberto,Tribastone Mirco,Zavattaro Gianlugi

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-75336-0_3

Reference36 articles.

1. Lecture Notes in Computer Science;M. Bartoletti,2006

2. Bettini, L., Bono, V., Likavec, S.: Safe and flexible objects with subtyping. Object Technology, Special Issue: OOPS Track at SAC 2005, 4(10), 5–29 (2005)

3. Frontiers in Artificial Intelligence and Applications;S. Bistarelli,2006

4. Bloch, B., Curbera, F., Goland, Y., Kartha, N., Liu, C.K., Thatte, S., Yendluri, P., Yiu, A.: Web services business process execution language version 2.0. Technical report, WS-BPEL TC OASIS (2005), http://www.oasis-open.org/

5. Bonchi, F., Koenig, B., Montanari, U.: Saturated semantics for reactive systems. In: Proceedings of LICS 2006, 21st Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society, Los Alamitos (to appear, 2006)

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

1. Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems;Models, Languages, and Tools for Concurrent and Distributed Programming;2019

2. A Homage to Martin Wirsing;Software, Services, and Systems;2015

3. Towards verification of computation orchestration;Formal Aspects of Computing;2014-07

4. A Heterogeneous Approach to UML Semantics;Concurrency, Graphs and Models;2008

5. Service Specification and Matchmaking Using Description Logic;Algebraic Methodology and Software Technology;2008