Service oriented computing from a process algebraic perspective-Reference-Cited by-同舟云学术

Service oriented computing from a process algebraic perspective

Published:2007-01 Issue:1 Volume:70 Page:3-14
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Bravetti Mario,Zavattaro Gianluigi

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference21 articles.

1. Process Algebra with Timing;Baeten,2002

2. M. Berger, K. Honda, The two-phase commit protocol in an extended π-calculus, in: EXPRESS’00, Proceedings of the 7th International Workshop on Expressiveness in Concurrency, vol. 39 of ENTCS, 2000.

3. L. Bocchi, Compositional nested long running transactions, in: FASE’04, Proceedings of the Fundamental Approaches to Software Engineering, LNCS, vol. 2984, 2004, pp. 194–208.

4. A calculus for long running transactions;Bocchi,2003

5. Quantitative information in the tuple space coordination model;Bravetti,2005

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

1. On the expressiveness of multiplicities in data-based coordination languages;Journal of Logical and Algebraic Methods in Programming;2020-04

2. On Multiplicities in Tuple-Based Coordination Languages: The Bach Family of Languages and Its Expressiveness Study;Lecture Notes in Computer Science;2018

3. Using unified modelling language to model the publish/subscribe paradigm in the context of timed Web services with distributed resources;Mathematical and Computer Modelling of Dynamical Systems;2017-01-16

4. On the introduction of density in tuple-space coordination languages;Science of Computer Programming;2016-01

5. On the Synthesis of Secure Services Composition;Engineering Secure Future Internet Services and Systems;2014