Reduction semantics in Markovian process algebra-Reference-Cited by-同舟云学术

Reduction semantics in Markovian process algebra

Published:2018-04 Issue: Volume:96 Page:41-64
ISSN:2352-2208
Container-title:Journal of Logical and Algebraic Methods in Programming
language:en
Short-container-title:Journal of Logical and Algebraic Methods in Programming

Author:

Bravetti Mario

Publisher

Elsevier BV

Subject

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

Reference24 articles.

1. Performance measure sensitive congruences for Markovian process algebras;Bernardo;Theor. Comput. Sci.,2003

2. M. Bravetti, Stochastic Semantics in the Presence of Structural Congruence: Reduction Semantics for Stochastic Pi-Calculus, Technical Report UBLCS-2008-16, University of Bologna, Department of Computer Science, available at http://www.informatica.unibo.it/it/ricerca/technical-report/2008.

3. Tutte le algebre insieme: concepts, discussions and relations of stochastic process algebras with general distributions;Bravetti,2004

4. Replicating web services for scalability;Bravetti,2007

5. The theory of interactive generalized semi-Markov processes;Bravetti;Theor. Comput. Sci.,2002

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

1. Asynchronous session subtyping as communicating automata refinement;Software and Systems Modeling;2021-01-04

2. AXIOMATIZING MAXIMAL PROGRESS AND DISCRETE TIME;LOG METH COMPUT SCI;2021

3. A Formal Approach to Microservice Architecture Deployment;Microservices;2019-12-12

4. Probabilistic software product lines;Journal of Logical and Algebraic Methods in Programming;2019-10

5. Relating Session Types and Behavioural Contracts: The Asynchronous Case;Software Engineering and Formal Methods;2019