Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling: Erlangen/Regensberg, July 1994
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | German |
| Published: |
Erlangen
Inst. für Math. Maschinen und Datenverarbeitung (Informatik)
1994
|
| Series: | Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung
27,4 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 189 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010219958 | ||
| 003 | DE-604 | ||
| 005 | 20071009 | ||
| 007 | t| | ||
| 008 | 950606s1994 gw d||| |||| 10||| ger d | ||
| 016 | 7 | |a 94435940X |2 DE-101 | |
| 035 | |a (OCoLC)214806858 | ||
| 035 | |a (DE-599)BVBBV010219958 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-29 |a DE-29T |a DE-91G |a DE-739 |a DE-703 |a DE-83 |a DE-188 | ||
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a DAT 517f |2 stub | ||
| 084 | |a DAT 284f |2 stub | ||
| 111 | 2 | |a Workshop on Process Algebras and Performance Modelling |n 2 |d 1994 |c Erlangen; Regensberg, Kunreuth |j Verfasser |0 (DE-588)2146934-9 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling |b Erlangen/Regensberg, July 1994 |c U. Herzog ... (eds.) |
| 264 | 1 | |a Erlangen |b Inst. für Math. Maschinen und Datenverarbeitung (Informatik) |c 1994 | |
| 300 | |a 189 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung |v 27,4 | |
| 650 | 0 | 7 | |a Stochastischer Prozess |0 (DE-588)4057630-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessalgebra |0 (DE-588)4283920-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Erlangen |2 gnd-content | |
| 689 | 0 | 0 | |a Prozessalgebra |0 (DE-588)4283920-8 |D s |
| 689 | 0 | 1 | |a Stochastischer Prozess |0 (DE-588)4057630-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Herzog, Ulrich |e Sonstige |4 oth | |
| 830 | 0 | |a Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung |v 27,4 |w (DE-604)BV004860307 |9 27,4 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006791828&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006791828 | |
Record in the Search Index
| _version_ | 1820875841539670016 |
|---|---|
| adam_text |
Stochastic Process Algebras (Introduction)
5
U.
Herzog,
M.
Rettelbach
Markovian Process Algebra: Composition and Equivalence
11
P. Buchholz
Understanding Stochastic Process Algebras via their Stochastic
31
Petri
Nets Semantics
M. Ribaudo
The Nature of Synchronisation
51
J.
Hülsten
Syntax, Semantics, Equivalences, and Axioms for MTIPP
71
H. Hermanns, M.
Rettelbach
Compositional Minimal Semantics for the Stochastic Process
Alge-
89
bra
TIPP
M. Rettelbach, M.
Siegle
Stochastic Process Algebras Applied to
ïailure
Modelling
107
U.
Herzog,
V. Mertsiotakis
Stochastic Automata Networks (SAN)
—
Modelling and Evaluation
127
P.
Fernandes,
В.
Plateau
LotoTis in Comparison with Other Performance-Oriented LOTOS
137
Extensions
I. Schieferdecker,
A. Wolisz
Performance Analysis and True Concurrency Semantics
157
E. Brinksina, J.-P.
Katoen,
R.
Langerak,
D.
Latella
not presented at the workshop:
Modelling and Analyzing Concurrent Systems with
МРА
175
M.
Bernardo,
L.
Donatiello,
R.
Gorrieri |
| any_adam_object | 1 |
| author_corporate | Workshop on Process Algebras and Performance Modelling Erlangen; Regensberg, Kunreuth |
| author_corporate_role | aut |
| author_facet | Workshop on Process Algebras and Performance Modelling Erlangen; Regensberg, Kunreuth |
| author_sort | Workshop on Process Algebras and Performance Modelling Erlangen; Regensberg, Kunreuth |
| building | Verbundindex |
| bvnumber | BV010219958 |
| classification_rvk | ST 130 |
| classification_tum | DAT 516f DAT 517f DAT 284f |
| ctrlnum | (OCoLC)214806858 (DE-599)BVBBV010219958 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010219958</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20071009</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">950606s1994 gw d||| |||| 10||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">94435940X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)214806858</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010219958</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 517f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 284f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Workshop on Process Algebras and Performance Modelling</subfield><subfield code="n">2</subfield><subfield code="d">1994</subfield><subfield code="c">Erlangen; Regensberg, Kunreuth</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2146934-9</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling</subfield><subfield code="b">Erlangen/Regensberg, July 1994</subfield><subfield code="c">U. Herzog ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Erlangen</subfield><subfield code="b">Inst. für Math. Maschinen und Datenverarbeitung (Informatik)</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">189 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung</subfield><subfield code="v">27,4</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stochastischer Prozess</subfield><subfield code="0">(DE-588)4057630-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1994</subfield><subfield code="z">Erlangen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Stochastischer Prozess</subfield><subfield code="0">(DE-588)4057630-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Herzog, Ulrich</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung</subfield><subfield code="v">27,4</subfield><subfield code="w">(DE-604)BV004860307</subfield><subfield code="9">27,4</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006791828&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006791828</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Erlangen gnd-content |
| genre_facet | Konferenzschrift 1994 Erlangen |
| id | DE-604.BV010219958 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:22:03Z |
| institution | BVB |
| institution_GND | (DE-588)2146934-9 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006791828 |
| oclc_num | 214806858 |
| open_access_boolean | |
| owner | DE-12 DE-29 DE-29T DE-91G DE-BY-TUM DE-739 DE-703 DE-83 DE-188 |
| owner_facet | DE-12 DE-29 DE-29T DE-91G DE-BY-TUM DE-739 DE-703 DE-83 DE-188 |
| physical | 189 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Inst. für Math. Maschinen und Datenverarbeitung (Informatik) |
| record_format | marc |
| series | Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung |
| series2 | Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung |
| spelling | Workshop on Process Algebras and Performance Modelling 2 1994 Erlangen; Regensberg, Kunreuth Verfasser (DE-588)2146934-9 aut Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling Erlangen/Regensberg, July 1994 U. Herzog ... (eds.) Erlangen Inst. für Math. Maschinen und Datenverarbeitung (Informatik) 1994 189 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung 27,4 Stochastischer Prozess (DE-588)4057630-9 gnd rswk-swf Prozessalgebra (DE-588)4283920-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Erlangen gnd-content Prozessalgebra (DE-588)4283920-8 s Stochastischer Prozess (DE-588)4057630-9 s DE-604 Herzog, Ulrich Sonstige oth Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung 27,4 (DE-604)BV004860307 27,4 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006791828&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling Erlangen/Regensberg, July 1994 Institut für Mathematische Maschinen und Datenverarbeitung (Informatik) <Erlangen>: Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung Stochastischer Prozess (DE-588)4057630-9 gnd Prozessalgebra (DE-588)4283920-8 gnd |
| subject_GND | (DE-588)4057630-9 (DE-588)4283920-8 (DE-588)1071861417 |
| title | Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling Erlangen/Regensberg, July 1994 |
| title_auth | Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling Erlangen/Regensberg, July 1994 |
| title_exact_search | Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling Erlangen/Regensberg, July 1994 |
| title_full | Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling Erlangen/Regensberg, July 1994 U. Herzog ... (eds.) |
| title_fullStr | Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling Erlangen/Regensberg, July 1994 U. Herzog ... (eds.) |
| title_full_unstemmed | Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling Erlangen/Regensberg, July 1994 U. Herzog ... (eds.) |
| title_short | Proceedings of the 2nd Workshop on Process Algebras and Performance Modelling |
| title_sort | proceedings of the 2nd workshop on process algebras and performance modelling erlangen regensberg july 1994 |
| title_sub | Erlangen/Regensberg, July 1994 |
| topic | Stochastischer Prozess (DE-588)4057630-9 gnd Prozessalgebra (DE-588)4283920-8 gnd |
| topic_facet | Stochastischer Prozess Prozessalgebra Konferenzschrift 1994 Erlangen |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006791828&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV004860307 |
| work_keys_str_mv | AT workshoponprocessalgebrasandperformancemodellingerlangenregensbergkunreuth proceedingsofthe2ndworkshoponprocessalgebrasandperformancemodellingerlangenregensbergjuly1994 AT herzogulrich proceedingsofthe2ndworkshoponprocessalgebrasandperformancemodellingerlangenregensbergjuly1994 |