CONCUR 2014 - concurrency theory: 25th international conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 ; proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Heidelberg [u.a.]
Springer
2014
|
| Schriftenreihe: | Lecture notes in computer science
8704 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | BTU01 FHM01 FHN01 FKE01 FRO01 TUM01 UBA01 UBG01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XXII, 594 S.) graph. Darst. |
| ISBN: | 9783662445839 9783662445846 |
| DOI: | 10.1007/978-3-662-44584-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV042058192 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 140904s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9783662445839 |9 978-3-662-44583-9 | ||
| 020 | |a 9783662445846 |c online |9 978-3-662-44584-6 | ||
| 024 | 7 | |a 10.1007/978-3-662-44584-6 |2 doi | |
| 035 | |a (OCoLC)890778173 | ||
| 035 | |a (DE-599)BVBBV042058192 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-20 |a DE-91 |a DE-706 |a DE-739 |a DE-384 |a DE-M347 |a DE-703 |a DE-29 |a DE-92 |a DE-859 |a DE-861 |a DE-634 | ||
| 084 | |a DAT 516f |2 stub | ||
| 111 | 2 | |a CONCUR |n 25. |d 2014 |c Rom |j Verfasser |0 (DE-588)1057970301 |4 aut | |
| 245 | 1 | 0 | |a CONCUR 2014 - concurrency theory |b 25th international conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 ; proceedings |c Paolo Baldan ... (eds.) |
| 264 | 1 | |a Heidelberg [u.a.] |b Springer |c 2014 | |
| 300 | |a 1 Online-Ressource (XXII, 594 S.) |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 8704 : Advanced research in computing and software science | |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2014 |z Rom |2 gnd-content | |
| 689 | 0 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Baldan, Paolo |e Sonstige |0 (DE-588)1050510968 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8704 : Advanced research in computing and software science |w (DE-604)BV014880109 |9 8704 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-44584-6 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027499122&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027499122&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-LNC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027499122 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-662-44584-6 |l BTU01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44584-6 |l FHM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44584-6 |l FHN01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44584-6 |l FKE01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44584-6 |l FRO01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44584-6 |l TUM01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44584-6 |l UBA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44584-6 |l UBG01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44584-6 |l UBT01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44584-6 |l UBW01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44584-6 |l UBY01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44584-6 |l UER01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-662-44584-6 |l UPA01 |p ZDB-2-LNC |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804152495250866176 |
|---|---|
| adam_text | CONCUR 2014 – CONCURRENCY THEORY
/
: 2014
TABLE OF CONTENTS / INHALTSVERZEICHNIS
LAWS OF PROGRAMMING: THE ALGEBRAIC UNIFICATION OF THEORIES OF
CONCURRENCY
THE BENEFITS OF SOMETIMES NOT BEING DISCRETE
DETERMINISTIC NEGOTIATIONS: CONCURRENCY FOR FREE
GENERALIZED BISIMULATION METRICS
CHOREOGRAPHIES, LOGICALLY
DEADLOCK ANALYSIS OF UNBOUNDED PROCESS NETWORKS
TREES FROM FUNCTIONS AS PROCESSES
BISIMULATIONS UP-TO: BEYOND FIRST-ORDER TRANSITION SYSTEMS
PARAMETERIZED MODEL CHECKING OF RENDEZVOUS SYSTEMS
ON THE COMPLETENESS OF BOUNDED MODEL CHECKING FOR THRESHOLD-BASED
DISTRIBUTED ALGORITHMS: REACHABILITY
LOST IN ABSTRACTION: MONOTONICITY IN MULTI-THREADED PROGRAMS
SYNTHESIS FROM COMPONENT LIBRARIES WITH COSTS
COMPOSITIONAL CONTROLLER SYNTHESIS FOR STOCHASTIC GAMES
SYNCHRONIZING STRATEGIES UNDER PARTIAL OBSERVABILITY
PROBABILISTIC ROBUST TIMED GAMES
PERTURBATION ANALYSIS IN VERIFICATION OF DISCRETE-TIME MARKOV CHAINS
ROBUST SYNCHRONIZATION IN MARKOV DECISION PROCESSES
PROBABILISTIC BISIMULATION: NATURALLY ON DISTRIBUTIONS
AVERAGING IN LTL
DECIDABLE TOPOLOGIES FOR COMMUNICATING AUTOMATA WITH FIFO AND BAG
CHANNELS
CONTROLLERS FOR THE VERIFICATION OF COMMUNICATING MULTI-PUSHDOWN SYSTEMS
PAIRWISE REACHABILITY ANALYSIS FOR HIGHER ORDER CONCURRENT PROGRAMS BY
HIGHER-ORDER MODEL CHECKING
A LINEAR-TIME ALGORITHM FOR THE ORBIT PROBLEM OVER CYCLIC GROUPS
A NEARLY OPTIMAL UPPER BOUND FOR THE SELF-STABILIZATION TIME IN
HERMAN’S ALGORITHM
BOUNDS ON MOBILITY
TYPING MESSAGES FOR FREE IN SECURITY PROTOCOLS: THE CASE OF EQUIVALENCE
PROPERTIES
USING HIGHER-ORDER CONTRACTS TO MODEL SESSION TYPES (EXTENDED ABSTRACT)
A SEMANTIC DECONSTRUCTION OF SESSION TYPES
TIMED MULTIPARTY SESSION TYPES
A CATEGORICAL SEMANTICS OF SIGNAL FLOW GRAPHS
GENERIC FORWARD AND BACKWARD SIMULATIONS III: QUANTITATIVE SIMULATIONS
BY MATRICES
A GENERAL FRAMEWORK FOR WELL-STRUCTURED GRAPH TRANSFORMATION SYSTEMS
(UN)DECIDABLE PROBLEMS ABOUT REACHABILITY OF QUANTUM SYSTEMS
ORDERED NAVIGATION ON MULTI-ATTRIBUTED DATA WORDS
VERIFICATION FOR TIMED AUTOMATA EXTENDED WITH UNBOUNDED DISCRETE DATA
STRUCTURES
REDUCING CLOCKS IN TIMED AUTOMATA WHILE PRESERVING BISIMULATION
QUALITATIVE CONCURRENT PARITY GAMES: BOUNDED RATIONALITY
ADDING NEGATIVE PRICES TO PRICED TIMED GAMES
TIGHT GAME ABSTRACTIONS OF PROBABILISTIC AUTOMATA
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
CONCUR 2014 – CONCURRENCY THEORY
/
: 2014
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 25TH INTERNATIONAL
CONFERENCE ON CONCURRENCY THEORY, CONCUR 2014, HELD IN ROME, ITALY IN
SEPTEMBER 2014. THE 35 REVISED FULL PAPERS PRESENTED TOGETHER WITH 5
INVITED TALKS WERE CAREFULLY REVIEWED AND SELECTED FROM 124 SUBMISSIONS.
THE FOCUS OF THE CONFERENCE IS ON THE FOLLOWING TOPICS: PROCESS CALCULI,
MODEL CHECKING AND ABSTRACTION, SYNTHESIS, QUANTITATIVE MODELS, AUTOMATA
AND MULTITHREADING, COMPLEXITY, PROCESS CALCULI AND TYPES, CATEGORIES,
GRAPHS AND QUANTUM SYSTEMS, AUTOMATA AND TIME, AND GAMES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author_GND | (DE-588)1050510968 |
| author_corporate | CONCUR Rom |
| author_corporate_role | aut |
| author_facet | CONCUR Rom |
| author_sort | CONCUR Rom |
| building | Verbundindex |
| bvnumber | BV042058192 |
| classification_tum | DAT 516f |
| collection | ZDB-2-LNC |
| ctrlnum | (OCoLC)890778173 (DE-599)BVBBV042058192 |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-662-44584-6 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03496nmm a2200589 cb4500</leader><controlfield tag="001">BV042058192</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140904s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662445839</subfield><subfield code="9">978-3-662-44583-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662445846</subfield><subfield code="c">online</subfield><subfield code="9">978-3-662-44584-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-44584-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)890778173</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042058192</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">CONCUR</subfield><subfield code="n">25.</subfield><subfield code="d">2014</subfield><subfield code="c">Rom</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1057970301</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">CONCUR 2014 - concurrency theory</subfield><subfield code="b">25th international conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 ; proceedings</subfield><subfield code="c">Paolo Baldan ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXII, 594 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8704 : Advanced research in computing and software science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</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">2014</subfield><subfield code="z">Rom</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</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">Baldan, Paolo</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1050510968</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8704 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8704</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-44584-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027499122&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027499122&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027499122</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44584-6</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44584-6</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44584-6</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44584-6</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44584-6</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44584-6</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44584-6</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44584-6</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44584-6</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44584-6</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44584-6</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44584-6</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-44584-6</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2014 Rom gnd-content |
| genre_facet | Konferenzschrift 2014 Rom |
| id | DE-604.BV042058192 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:11:37Z |
| institution | BVB |
| institution_GND | (DE-588)1057970301 |
| isbn | 9783662445839 9783662445846 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027499122 |
| oclc_num | 890778173 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
| owner_facet | DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-859 DE-861 DE-634 |
| physical | 1 Online-Ressource (XXII, 594 S.) graph. Darst. |
| psigel | ZDB-2-LNC |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | CONCUR 25. 2014 Rom Verfasser (DE-588)1057970301 aut CONCUR 2014 - concurrency theory 25th international conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 ; proceedings Paolo Baldan ... (eds.) Heidelberg [u.a.] Springer 2014 1 Online-Ressource (XXII, 594 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8704 : Advanced research in computing and software science Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Rom gnd-content Nebenläufigkeit (DE-588)4115352-2 s DE-604 Baldan, Paolo Sonstige (DE-588)1050510968 oth Lecture notes in computer science 8704 : Advanced research in computing and software science (DE-604)BV014880109 8704 https://doi.org/10.1007/978-3-662-44584-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027499122&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027499122&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | CONCUR 2014 - concurrency theory 25th international conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 ; proceedings Lecture notes in computer science Nebenläufigkeit (DE-588)4115352-2 gnd |
| subject_GND | (DE-588)4115352-2 (DE-588)1071861417 |
| title | CONCUR 2014 - concurrency theory 25th international conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 ; proceedings |
| title_auth | CONCUR 2014 - concurrency theory 25th international conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 ; proceedings |
| title_exact_search | CONCUR 2014 - concurrency theory 25th international conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 ; proceedings |
| title_full | CONCUR 2014 - concurrency theory 25th international conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 ; proceedings Paolo Baldan ... (eds.) |
| title_fullStr | CONCUR 2014 - concurrency theory 25th international conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 ; proceedings Paolo Baldan ... (eds.) |
| title_full_unstemmed | CONCUR 2014 - concurrency theory 25th international conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 ; proceedings Paolo Baldan ... (eds.) |
| title_short | CONCUR 2014 - concurrency theory |
| title_sort | concur 2014 concurrency theory 25th international conference concur 2014 rome italy september 2 5 2014 proceedings |
| title_sub | 25th international conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 ; proceedings |
| topic | Nebenläufigkeit (DE-588)4115352-2 gnd |
| topic_facet | Nebenläufigkeit Konferenzschrift 2014 Rom |
| url | https://doi.org/10.1007/978-3-662-44584-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027499122&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027499122&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT concurrom concur2014concurrencytheory25thinternationalconferenceconcur2014romeitalyseptember252014proceedings AT baldanpaolo concur2014concurrencytheory25thinternationalconferenceconcur2014romeitalyseptember252014proceedings |