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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 10.

Article

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

Monograph

Bryans, J.W. and Bowman, H. and Derrick, J. (2000) A Model Checking Algorithm for Stochastic Systems. Technical report. University of Kent, Canterbury, Kent (Full text available)
[img]
Preview
[img]
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 (Full text available)
[img]
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. (Full text available)
[img]
Preview
[img]
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. (Full text available)
[img]
Preview
[img]
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. (Full text available)
[img]
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 Sat Apr 19 04:10:03 2014 BST.