``On the Expressive Power of Process Interruption and Compensation''
in Mathematical Structures in Computer Science, Cambridge University Press, to appear.
``A Theory of Contracts for Strong Service Compliance''
in Mathematical Structures in Computer Science, Cambridge University Press, to appear.
``A Foundational Theory of Contracts for Multi-party Service Composition''
in Fundamenta Informaticae, IOS Press, 89(4): 451 - 478, 2008
``A Ground-Complete Axiomatization of Finite-State Processes in a Generic Process Algebra''
in Mathematical Structures in Computer Science, Cambridge University Press, 18(6): 1057 - 1089, 2008
``From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Services''
in Journal of Universal Computer Science 13(13): 2035-2075, 2007
``Service Oriented Computing from a Process Algebraic Perspective''
in Journal of Logic and Algebraic Programming 70(1): 3-14, 2007
``Quantitative Information in the Tuple Space Coordination Model''
in Theoretical Computer Science 346(1):28-57, 2005
``A Process-algebraic Approach for the Analysis of Probabilistic Non-interference''
in Journal of Computer Security 12(2):191-245, 2004
``Discrete Time Generative-Reactive Probabilistic Processes with Different Advancing Speeds''
in Theoretical Computer Science 290(1):355-406, 2003
``Performance Measure Sensitive Congruences for Markovian Process Algebras''
in Theoretical Computer Science 290(1):117-160, 2003
in ACM Transactions on Computational Logic 3(4):465-520, 2002
``The Theory of Interactive Generalized Semi-Markov Processes''
in Theoretical Computer Science 282(1):5-32, 2002