The Computer Journal

Articles

S. Gilmore and J. Hillston

Process Algebras and Their Application to Performance Modelling: Proceedings of the Third Workshop on Process Algebra and Performance Modelling
The Computer Journal 1995 38: 489-491; doi:10.1093/comjnl/38.7.489 [PDF] [Request Permissions]  

M. Bernardo, N. Busi, and R. Gorrieri

A Distributed Semantics for EMPA Based on Stochastic Contextual Nets
The Computer Journal 1995 38: 492-509; doi:10.1093/comjnl/38.7.492 [Abstract] [PDF] [Request Permissions]  

P. Harrison and J. Hillston

Exploiting Quasi-reversible Structures in Markovian Process Algebra Models
The Computer Journal 1995 38: 510-520; doi:10.1093/comjnl/38.7.510 [Abstract] [PDF] [Request Permissions]  

B. R. Haverkort

In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models
The Computer Journal 1995 38: 521-529; doi:10.1093/comjnl/38.7.521 [Abstract] [PDF] [Request Permissions]  

H. Hermanns, M. Rettelbach, and T. Weiss

Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching
The Computer Journal 1995 38: 530-541; doi:10.1093/comjnl/38.7.530 [Abstract] [PDF] [Request Permissions]  

D. R. W. Holton

A PEPA Specification of an Industrial Production Cell
The Computer Journal 1995 38: 542-551; doi:10.1093/comjnl/38.7.542 [Abstract] [PDF] [Request Permissions]  

E. Brinksma, J.-P. Katoen, R. Langerak, and D. Latella

A Stochastic Causality-Based Process Algebra
The Computer Journal 1995 38: 552-565; doi:10.1093/comjnl/38.7.552 [Abstract] [PDF] [Request Permissions]  

J. Hillston and V. Mertsiotakis

A Simple Time Scale Decomposition Technique for Stochastic Process Algebras
The Computer Journal 1995 38: 566-577; doi:10.1093/comjnl/38.7.566 [Abstract] [PDF] [Request Permissions]  

C. Priami

Stochastic -Calculus
The Computer Journal 1995 38: 578-589; doi:10.1093/comjnl/38.7.578 [Abstract] [PDF] [Request Permissions]  

M. Rettelbach

Probabilistic Branching in Markovian Process Algebras
The Computer Journal 1995 38: 590-599; doi:10.1093/comjnl/38.7.590 [Abstract] [PDF] [Request Permissions]  

M. Ribaudo

On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras
The Computer Journal 1995 38: 600-611; doi:10.1093/comjnl/38.7.600 [Abstract] [PDF] [Request Permissions]  

I. Rojas

Compositional Construction of SWN models
The Computer Journal 1995 38: 612-621; doi:10.1093/comjnl/38.7.612 [Abstract] [PDF] [Request Permissions]  

M. Sereno

Towards a Product Form Solution for Stochastic Process Algebras
The Computer Journal 1995 38: 622-632; doi:10.1093/comjnl/38.7.622 [Abstract] [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.