메뉴 건너뛰기




Volumn 201, Issue , 2006, Pages

Automated product-forms with Meercat

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED PRODUCTS; JOINT STATE PROBABILITIES; MEERCAT; REVERSED COMPOUND AGENT THEOREMS;

EID: 34748905296     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1190366.1190375     Document Type: Conference Paper
Times cited : (6)

References (12)
  • 1
    • 0003581104 scopus 로고
    • PhD thesis, Department of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, UK, CST-107-94
    • J. Hillston, A Compositional Approach to Performance Modelling. PhD thesis, Department of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, UK, 1994. CST-107-94.
    • (1994) A Compositional Approach to Performance Modelling
    • Hillston, J.1
  • 2
    • 0000140889 scopus 로고
    • Queuing networks with negative and positive customers
    • E. E. Gelenbe, "Queuing networks with negative and positive customers," Journal of Applied Probability, vol. 28, pp. 656-663, 1991.
    • (1991) Journal of Applied Probability , vol.28 , pp. 656-663
    • Gelenbe, E.E.1
  • 3
    • 0000637360 scopus 로고
    • Networks of waiting lines
    • J.Jackson, "Networks of waiting lines," Operations Research, vol. 5, pp. 518-521, 1957.
    • (1957) Operations Research , vol.5 , pp. 518-521
    • Jackson, J.1
  • 4
    • 0016495143 scopus 로고
    • Open, closed, and mixed networks of queues with different classes of customers
    • F. Baskett, K. M. Chandy, R. R. Muntz, and F. G. Palacios, "Open, closed, and mixed networks of queues with different classes of customers," J. ACM, vol. 22, no. 2, pp. 248-260, 1975.
    • (1975) J. ACM , vol.22 , Issue.2 , pp. 248-260
    • Baskett, F.1    Chandy, K.M.2    Muntz, R.R.3    Palacios, F.G.4
  • 6
    • 0028467313 scopus 로고
    • A characterization of independence for competing markov chains with applications to stochastic petri nets
    • R. J. Boucherie, "A characterization of independence for competing markov chains with applications to stochastic petri nets," IEEE Trans. Softw. Eng., vol. 20, no. 7, pp. 536-544, 1994.
    • (1994) IEEE Trans. Softw. Eng , vol.20 , Issue.7 , pp. 536-544
    • Boucherie, R.J.1
  • 7
    • 85009174863 scopus 로고    scopus 로고
    • Turning back time in Markovian process algebra
    • P. Harrison, "Turning back time in Markovian process algebra," Theoretical Computer Science, no. 290, pp. 1947-1968, 2003.
    • (2003) Theoretical Computer Science , Issue.290 , pp. 1947-1968
    • Harrison, P.1
  • 8
    • 27744504651 scopus 로고    scopus 로고
    • Separable equilibrium state probabilities via time reversal in Markovian process algebra
    • P. Harrison and T. Lee, "Separable equilibrium state probabilities via time reversal in Markovian process algebra," Theoretical Computer Science, no. 346, pp. 161-182, 2005.
    • (2005) Theoretical Computer Science , Issue.346 , pp. 161-182
    • Harrison, P.1    Lee, T.2
  • 9
    • 2942622555 scopus 로고    scopus 로고
    • Reversed Processes, product forms and some non-product forms
    • P. Harrison, "Reversed Processes, product forms and some non-product forms," Linear Algebra and Its Applications, pp. 359-381, 2004.
    • (2004) Linear Algebra and Its Applications , pp. 359-381
    • Harrison, P.1
  • 11
    • 34548061231 scopus 로고    scopus 로고
    • Semi-Markov PEPA: Modelling with generally distributed actions
    • February
    • J. Bradley, "Semi-Markov PEPA: Modelling with generally distributed actions," International Journal of Simulation, vol. 6, pp. 43-51, February 2005.
    • (2005) International Journal of Simulation , vol.6 , pp. 43-51
    • Bradley, J.1
  • 12


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