Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions-Reference-Cited by-同舟云学术

Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions

Published:2004 Issue: Volume: Page:44-88
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bravetti Mario,D’Argenio Pedro R.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24611-4_2

Reference37 articles.

1. Lecture Notes in Computer Science;R. Alur,1991

2. Cambridge Tracts in Theoretical Computer Science;J.C.M. Baeten,1990

3. Bernardo, M.: Theory and Application of Extended Markovian Process Algebras. PhD thesis, Dottorato di Ricerca in Informatica. Università di Bologna, Padova, Venezia (February 1999)

4. Bravetti, M.: Specification and Analysis of Stochastic Real-Time Systems. PhD thesis, Dottorato di Ricerca in Informatica. Università di Bologna, Padova, Venezia (February 2002), Available at http://www.cs.unibo.it/~bravetti/

5. Electronic Notes in Theoretical Computer Science;M. Bravetti,2000

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

1. A Hierarchy of Scheduler Classes for Stochastic Automata;Lecture Notes in Computer Science;2018

2. Input/Output Stochastic Automata with Urgency: Confluence and Weak Determinism;Theoretical Aspects of Computing – ICTAC 2018;2018

3. Input/Output Stochastic Automata;Lecture Notes in Computer Science;2016

4. Schedulers are no Prophets;Semantics, Logics, and Calculi;2015-12-25

5. Stochastic Model Checking of the Stochastic Quality Calculus;Software, Services, and Systems;2015