Compositional performance analysis using probabilistic I/O automata

Eugene W. Stark

doi:10.1007/3-540-44618-4_3

Compositional performance analysis using probabilistic I/O automata

Eugene W. Stark

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Original language	English
Title of host publication	CONCUR 2000 - Concurrency Theory
Subtitle of host publication	11th International Conference, Proceedings
Editors	Catuscia Palamidessi
Publisher	Springer Verlag
Pages	25-28
Number of pages	4
ISBN (Print)	3540678972, 9783540678977
DOIs	https://doi.org/10.1007/3-540-44618-4_3
State	Published - 2000
Event	11th International Conference on Concurrency Theory, CONCUR 2000 - University Park, PA, United States Duration: Aug 22 2000 → Aug 25 2000

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1877 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Conference on Concurrency Theory, CONCUR 2000
Country/Territory	United States
City	University Park, PA
Period	08/22/00 → 08/25/00

Access to Document

10.1007/3-540-44618-4_3

Cite this

Stark, E. W. (2000). Compositional performance analysis using probabilistic I/O automata. In C. Palamidessi (Ed.), CONCUR 2000 - Concurrency Theory: 11th International Conference, Proceedings (pp. 25-28). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1877 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-44618-4_3

@inproceedings{0fe06624b90d4b8e9cc8c41ac2b0d446,

title = "Compositional performance analysis using probabilistic I/O automata",

author = "Stark, \{Eugene W.\}",

year = "2000",

doi = "10.1007/3-540-44618-4\_3",

language = "English",

isbn = "3540678972",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "25--28",

editor = "Catuscia Palamidessi",

booktitle = "CONCUR 2000 - Concurrency Theory",

note = "11th International Conference on Concurrency Theory, CONCUR 2000 ; Conference date: 22-08-2000 Through 25-08-2000",

}

Stark, EW 2000, Compositional performance analysis using probabilistic I/O automata. in C Palamidessi (ed.), CONCUR 2000 - Concurrency Theory: 11th International Conference, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1877 LNCS, Springer Verlag, pp. 25-28, 11th International Conference on Concurrency Theory, CONCUR 2000, University Park, PA, United States, 08/22/00. https://doi.org/10.1007/3-540-44618-4_3

Compositional performance analysis using probabilistic I/O automata. / Stark, Eugene W.
CONCUR 2000 - Concurrency Theory: 11th International Conference, Proceedings. ed. / Catuscia Palamidessi. Springer Verlag, 2000. p. 25-28 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1877 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Compositional performance analysis using probabilistic I/O automata

AU - Stark, Eugene W.

PY - 2000

Y1 - 2000

UR - https://www.scopus.com/pages/publications/35248886314

U2 - 10.1007/3-540-44618-4_3

DO - 10.1007/3-540-44618-4_3

M3 - Conference contribution

AN - SCOPUS:35248886314

SN - 3540678972

SN - 9783540678977

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 25

EP - 28

BT - CONCUR 2000 - Concurrency Theory

A2 - Palamidessi, Catuscia

PB - Springer Verlag

T2 - 11th International Conference on Concurrency Theory, CONCUR 2000

Y2 - 22 August 2000 through 25 August 2000

ER -

Stark EW. Compositional performance analysis using probabilistic I/O automata. In Palamidessi C, editor, CONCUR 2000 - Concurrency Theory: 11th International Conference, Proceedings. Springer Verlag. 2000. p. 25-28. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-44618-4_3

Compositional performance analysis using probabilistic I/O automata

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this