SCOPUS 정보 검색 플랫폼

Computer Journal

Volumn 44, Issue 4, 2001, Pages 230-245

Analysis of a multimedia stream using stochastic process algebra

(3) Bowman, H a Bryans, J W a Derrick, J a

a UNIVERSITY OF KENT (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; DISTRIBUTED COMPUTER SYSTEMS; JITTER; MATHEMATICAL MODELS; PROBABILITY DISTRIBUTIONS; QUALITY OF SERVICE; RANDOM PROCESSES; REAL TIME SYSTEMS; REQUIREMENTS ENGINEERING;

DISTRIBUTED MULTIMEDIA SYSTEMS; ERROR RATES; STOCHASTIC PROCESS ALGEBRA;

MULTIMEDIA SYSTEMS;

EID: 0035653172 PISSN: 00104620 EISSN: None Source Type: Journal
DOI: 10.1093/comjnl/44.4.230 Document Type: Article

Times cited : (17)

References (48)

1
- 0004071948
- University College London Press, London
- (1998) Formal Specification of Distributed Multimedia Systems
- Blair, G.¹ Blair, L.² Bowman, H.³ Chetwynd, A.⁴

2
- 0012567248
- Addison Wesley
- (1994) Quality of Service Management in Distributed Systems
- Hutchison, D.¹ Coulson, G.² Campbell, A.³ Blair, G.⁴

3
- 0004235233
- Sloman, M. (ed.); Addison Wesley, Wokingham, UK
- (1994) Network and Distributed Systems Management

4
- 0007427239
- Formal methods for broadband and multimedia systems
- (1998) Comp. Networks ISDN Sys. , vol.30 , pp. 865-899
- Fischer, S.¹ Leue, S.²

5
- 0003680512
- Specification and verification of media constraints using UPPAAL
- Springer, Berlin
- (1998) Proc. 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98, Abingdon, UK. Eurographics Book Series
- Bowman, H.¹ Faconti, G.² Massink, M.³

6
- 0003581104
- Cambridge University Press, Cambridge UK
- (1996) A Compositional Approach to Performance Modelling (Distinguished Dissertations in Computer Science)
- Hillston, J.¹

7
- 0000093257
- Formal characterisation of immediate actions in SPA with nondeterministic branching
- (1995) Comp. J. , vol.38 , pp. 530-541
- Hermanns, H.¹ Rettlebach, M.² Weiss, T.³

8
- 0007387003
- Technical Report UBLCS-95-14, Department of Computer Science, University of Bologna, Piazza di Porto S. Donato, 5, 40127 Bologna, September. (Revised March 1996.)
- (1995) Integrating Performance and Functional Analysis of Concurrent Systems with EMPA
- Bernardo, M.¹ Donatiello, L.² Gorrieri, R.³

9
- 0003768129
- PhD Thesis, Centre for Telematics and Information Technology, P.O. Box 217, 7500 AE Enschede, The Netherlands
- (1996) Quantitative and Qualitative Extensions of Event Structures
- Katoen, J.-P.¹

10
- 0002787912
- A stochastic automata model and its algebraic approach
- In Brinksma, E. and Nymeyer, A. (eds); P.O. Box 217-7500 AE Enschede, The Netherlands. University of Twente
- (1997) Process Algebras and Performance Modelling. Fifth International Workshop, Number 97-14 in CTIT Technical Report , pp. 1-16
- D'Argenio, P.R.¹ Katoen, J.-P.² Brinksma, E.³

11
- 0027757968
- Multimedia in temporal LOTOS: A lip synchronization algorithm
- In Danthine, A., Leduc, G. and Wolper, P. (eds); North-Holland, Amsterdam
- (1993) PSTV XIII, 13th Protocol Specification, Testing and Verification , pp. 127-142
- Regan, T.¹

12
- 0029733853
- Using timed CSP for specification, verification and simulation of multimedia synchronization
- (1996) IEEE J. Selected Areas Commun. , vol.14 , pp. 126-137
- Ates, A.F.¹ Bilgic, M.² Saito, S.³ Sarikaya, B.⁴

13
- 0000153371
- Automatic verification of a lip synchronization protocol using UPPAAL
- (1998) Formal Aspects Comput. , vol.10 , pp. 550-575
- Bowman, H.¹ Faconti, G.² Katoen, J.-P.³ Latella, D.⁴ Massink, M.⁵

14
- 85028448488
- Time versus abstraction in formal description
- In Amir, P., Tenny, R. and Uyar, U. (eds); Boston, October. North-Holland, Amsterdam
- (1993) FORTE'93
- Bowman, H.¹ Blair, L.² Blair, G.³ Chetwynd, A.⁴

15
- 0003744452
- PhD Thesis, Lancaster University
- (1994) The Formal Specification and Verification of Distributed Multimedia Systems
- Blair, L.¹

16
- 0003954103
- Prentice Hall International, London
- (1989) Communication and Concurrency
- Milner, R.¹

17
- 0003843704
- Prentice Hall International, London
- (1985) Communicating Sequential Processes
- Hoare, C.A.R.¹

18
- 0023544236
- Introduction to the ISO specification language LOTOS
- (1988) Comput. Networks ISDN Sys. , vol.14 , pp. 25-59
- Bolognesi, T.¹ Brinksma, E.²

19
- 0003438929
- Prentice Hall, London
- (1990) Computer and Communications Systems Performance Modelling (Prentice Hall International Series in Computer Science)
- King, P.J.B.¹

20
- 0003652822
- Wiley, Chichester, UK
- (1995) Modelling with Generalized Stochastic Petri Nets
- Marsan, M.A.¹ Balbo, G.² Conte, G.³ Donatelli, S.⁴ Franceschinis, G.⁵

21
- 0003420675
- Technical Report IMMD7-4/92, University of Erlangen-Nürnberg
- (1992) TIPP-a Language for Timed Processes and Performance Evaluation
- Götz, N.¹ Herzog, U.² Rettelbach, M.³

22
- 0007387832
- Springer
- (1984) Probability (Springer Series in Soviet Mathematics)
- Shiryayev, A.N.¹

23
- 0003454649
- Wiley, New York
- (1991) The Art of Computer Systems Performance Analysis
- Jain, R.¹

24
- 0007428414
- The nature of synchronization
- In Herzog, U. and Rettelbach, M. (eds)
- (1994) Proc. 2nd Workshop on Process Algebras and Performance Modelling, University of Erlangen, Erlangen, July , pp. 51-70
- Hillston, J.¹

25
- 0006419926
- Reactive, generative and stratified models of probabilistic processes
- (1995) Inf. Comput. , vol.121 , pp. 59-80
- Van Glabbeek, R.¹ Smolka, S.² Steffen, B.³

26
- 0007392133
- University of Edinburgh, April
- (1997) The PEPA Workbench: Users Manual
- Gilmore, S.¹

27
- 0012675054
- TIPP-introduction and application to protocol performance analysis
- In König, H. (ed.)
- (1993) Formale Beschreibungstechniken für Verteilte Systeme, FOKUS, Reihe, 1993. Saur Verlag
- Götz, N.¹ Herzog, U.² Rettelbach, M.³

28
- 0007394556
- Technical Report 10/94, Friedrich-Alexander-Univeristät, Erlangen-Nürnberg
- (1994) Markovian Processes Go Algebra
- Hermanns, H.¹ Rettlebach, M.²

29
- 0001828543
- Syntax, semantics, equivalences and axioms for MTIPP
- In Herzog, U. and Rettelbach, M. (eds)
- (1994) 2nd Int. Workshop on Process Algebras and Performance Modelling, University of Erlangen, Erlangen , pp. 71-87
- Hermanns, H.¹ Rettlebach, M.²

30
- 0003868910
- PhD Thesis, University of Erlangen
- (1998) Interactive Markov Chains
- Hermanns, H.¹

31
- 0007464709
- Technical Report 3/98, University of Erlangen
- (1998) TIPPtool: Timed Processes and Performability Evaluation
- Klehmet, U.¹ Mertsiotakis, V.²

32
- 0003107370
- Markovian process algebra: Composition and equivalence
- In Herzog, U. and Rettelbach, M. (eds)
- (1994) Process Algebras and Performance Modelling. 2nd Int. Workshop, University of Erlangen, Erlangen , pp. 11-30
- Buchholz, P.¹

33
- 0003624812
- PhD Thesis, University of Bologna
- (1998) Theory and Application of Extended Markovian Process Algebra
- Bernardo, M.¹

34
- 84945893094
- Towards performance evaluation with general distributions in process algebras
- In Goos, G., Hartmanis, J. and van Leeuwen, J. (eds)
- (1998) CONCUR'98. Lecture Notes in Computer Science , vol.1466 , pp. 405-422
- Bravetti, M.¹ Bernardo, M.² Gorrieri, R.³

35
- 84959609465
- The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables
- (1955) Proc. Cambridge Phil. Soc. , vol.51 , pp. 433-440
- Cox, D.R.¹

36
- 0001310784
- Adding action refinement to a finite process algebra
- (1994) Inform. Comput. , vol.115 , pp. 179-247
- Aceto, L.¹ Hennessy, M.²

37
- 0007438025
- Interative generalized semi-Markov processes
- Prensas Universitarias de Zaragoza, Zaragoza, Spain
- (1999) PAPM'99, Process Algebra and Performance Modelling Workshop , pp. 83-98
- Bravetti, M.¹ Gorrieri, R.²

38
- 0003733925
- PhD Thesis, Imperial College
- (1993) Process Algebra for Discrete Event Simulation
- Strulo, B.¹

39
- 0000190343
- Performance modelling and verification of cache coherency protocols
- In Ribaudo, M. (ed.); Technical Report, CSR-96-11, University of Torino, CLUT Press
- (1996) Proc. 4th Process Algebras and Performance Modelling Workshop , pp. 199-214
- Field, T.¹ Harrison, P.² Kanani, K.³

40
- 0003405803
- Kluwer Academic
- (1999) Sample-Path Analysis of Queueing Systems
- El-Taha, M.¹ Stidham, S.²

41
- 0003464256
- Cambridge University Press, Cambridge, UK
- (1993) Specification and Proof in Real-Time CSP (Distinguished Dissertations in Computer Science)
- Davies, J.¹

42
- 0028560841
- An enhanced version of timed LOTOS and its application to a case study
- In Amir, P., Tenney, R. and Uyar, U. (eds); Boston, October; North-Holland
- (1993) FORTE'93 , pp. 483-498
- Leonard, L.¹ Leduc, G.²

43
- 0003909641
- Princeton University Press, Princeton
- (1994) Introduction to the Numerical Solution of Markov Chains
- Stewart, W.J.¹

44
- 0004141908
- Prentice-Hall, London
- (1996) Computer Networks (3rd Edn)
- Tanenbaum, A.S.¹

45
- 0007460561
- Stochastic process algebra structure for insensitivity
- Prensas Universitarias de Zaragoza, Zaragoza, Spain
- (1999) PAPM'99, Process Algebra and Performance Modelling Workshop , pp. 63-82
- Clark, G.¹

46
- 0003636743
- Johns Hopkins University Press, Baltimore, MD
- (1981) Matrix-Geometric Solutions in Stochastic Models-an Algorithmic Approach
- Neuts, M.F.¹

47
- 0010797980
- Solving infinite stochastic process algebra models through matrix-geometric methods
- Prensas Universitarias de Zaragoza, Zaragoza, Spain
- (1999) PAPM'99, Process Algebra and Performance Modelling Workshop
- El-Rayes, A.¹ Kwiatkowska, M.² Norman, G.³

48
- 84992591899
- Verifying automata specifications of probabilistic real-time systems
- Springer, Berlin
- (1992) Proc. Real-Time: Theory in Practice. Lecture Notes in Computer Science , vol.600 , pp. 28-44
- Alur, R.¹ Courcoubetis, C.² Dill, D.³

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.