Author:
De Nicola Rocco,Ferrari Gianluigi,Montanari Ugo,Pugliese Rosario,Tuosto Emilio
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. X-Klaim Is Back;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
2. Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
3. A Formal Model to Enforce Trustworthiness Requirements in Service Composition;IEICE Transactions on Information and Systems;2017
4. SLA-Aware Enterprise Service Computing;Performance and Dependability in Service Computing;2012
5. Towards A Formal Semantics For Autonomic Components;From Grids to Service and Pervasive Computing;2008