Probabilistic Branching in Markovian Process Algebras.
- Published in:
- Computer Journal, 1995, v. 38, n. 7, p. 590
- By:
- Publication type:
- Article
Works matching IS 00104620 AND DT 1995 AND VI 38 AND IP 7
Results: 13
1
2
Stochastic π-Calculus.
- Published in:
- Computer Journal, 1995, v. 38, n. 7, p. 578
- By:
- Publication type:
- Article
3
A Simple Time Scale Decomposition Technique for Stochastic Process Algebras.
- Published in:
- Computer Journal, 1995, v. 38, n. 7, p. 566
- By:
- Publication type:
- Article
4
A Stochastic Causality-Based Process Algebra.
- Published in:
- Computer Journal, 1995, v. 38, n. 7, p. 552
- By:
- Publication type:
- Article
5
Towards a Product Form Solution for Stochastic Process Algebras.
- Published in:
- Computer Journal, 1995, v. 38, n. 7, p. 622
- By:
- Publication type:
- Article
6
Compositional Construction of SWN models.
- Published in:
- Computer Journal, 1995, v. 38, n. 7, p. 612
- By:
- Publication type:
- Article
7
On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras.
- Published in:
- Computer Journal, 1995, v. 38, n. 7, p. 600
- By:
- Publication type:
- Article
8
A PEPA Specification of an Industrial Production Cell.
- Published in:
- Computer Journal, 1995, v. 38, n. 7, p. 542
- By:
- Publication type:
- Article
9
A Distributed Semantics for EMPA Based on Stochastic Contextual Nets.
- Published in:
- Computer Journal, 1995, v. 38, n. 7, p. 492
- By:
- Publication type:
- Article
10
Process Algebras and Their Application to Performance Modelling.
- Published in:
- Computer Journal, 1995, v. 38, n. 7, p. 489
- By:
- Publication type:
- Article
11
Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching.
- Published in:
- Computer Journal, 1995, v. 38, n. 7, p. 530
- By:
- Publication type:
- Article
12
In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models.
- Published in:
- Computer Journal, 1995, v. 38, n. 7, p. 521
- By:
- Publication type:
- Article
13
Exploiting Quasi-reversible Structures in Markovian Process Algebra Models.
- Published in:
- Computer Journal, 1995, v. 38, n. 7, p. 510
- By:
- Publication type:
- Article