Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Jump to: Article | Monograph | Conference or workshop item

Number of items: 11.

Article

Bowman, H. and Bryans, J.W. and Derrick, J. (2001) Analysis of a Multimedia Stream using Stochastic Process Algebra. The Computer Journal, 44 (4). pp. 230-245. ISSN 0010-4620 . The full text of this publication is not available from this repository.

Monograph

Akehurst, D.H. and Bowman, H. and Bryans, J.W. and Derrick, J. (2000) A Manual for a ModelChecker for Stochastic Automata. Technical report.

Preview

Bryans, J.W. and Bowman, H. and Derrick, J. (2000) A Model Checking Algorithm for Stochastic Systems. Technical report. University of Kent, Canterbury, Kent

Preview

Preview

Schneider, S.A. and Bryans, J.W. and Davies, J.W. (1994) A Failures Semantics for ET-LOTOS. Technical report. , Presented at the COST 247 - WG 6.1 working group meeting in Brighton

Preview

Bryans, J.W. and Davies, J.W. and Schneider, S.A. (1994) Real-time CSP and ET-LOTOS. Technical report. Reading University, Presented at the COST 247 WG 6.1 working group meeting in Brighton The full text of this publication is not available from this repository.

Conference or workshop item

Bryans, J.W. and Blair, L. and Bowman, H. and Derrick, John (2000) Specification and Analysis of Automata-based Designs. In: Grieskamp, W. and Stanten, T. and Stoddart, B., eds. Integrated Formal Methods: Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 2000. Proceedings. Lecture Notes in Comuter Science, 1945. Springer pp. 176-193. ISBN 3-540-41196-8.

Preview

Preview

Bowman, H. and Bryans, J.W. and Derrick, J. (2000) Towards Stochastic Model Checking with Generalised Distributions. In: UKPEW 2000, 16th United Kingdom Performance Engineering Workshop, July 24-25, 2000, Durham Univ. uk, . The full text of this publication is not available from this repository.

Bryans, J.W. and Derrick, J. (1999) Stochastic specification and verification. In: 3rd Irish Workshop in Formal Methods.

Preview

Preview

Bowman, H. and Bryans, J.W. and Derrick, J. (1998) Analysis of a Multimedia Stream using Stochastic Process Algebra. In: Sixth International Workshop on Process Algebras and Performance Modelling, 1998.

Preview

Davies, J.W. and Bryans, J.W. and Schneider, S.A. (1996) Real-time LOSTOS and Timed Observations. In: UNSPECIFIED. The full text of this publication is not available from this repository.

Bryans, J.W. and Davies, J.W. and Schneider, S.A. (1995) Towards a Denotational Semantics for Timed LOTOS. In: Lecture Notes in Computer Science 962. The full text of this publication is not available from this repository.

This list was generated on Fri May 24 22:24:59 2013 BST.