CONCUR 2013 - concurrency theory: 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2013
|
| Schriftenreihe: | Lecture notes in computer science
8052 : Advanced research in computing and software science |
| Schlagworte: | |
| Online-Zugang: | Volltext Inhaltsverzeichnis Abstract |
| Beschreibung: | 1 Online-Ressource (XIV, 562 S.) graph. Darst. |
| ISBN: | 9783642401831 9783642401848 |
| DOI: | 10.1007/978-3-642-40184-8 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041435101 | ||
| 003 | DE-604 | ||
| 005 | 20140311 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131121s2013 xx d||| o|||| 10||| eng d | ||
| 020 | |a 9783642401831 |9 978-3-642-40183-1 | ||
| 020 | |a 9783642401848 |c eISBN |9 978-3-642-40184-8 | ||
| 024 | 7 | |a 10.1007/978-3-642-40184-8 |2 doi | |
| 035 | |a (OCoLC)858014525 | ||
| 035 | |a (DE-599)BVBBV041435101 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-859 |a DE-91 |a DE-706 |a DE-384 |a DE-634 |a DE-355 | ||
| 082 | 0 | |a 005.1015113 | |
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a CONCUR 2013 - concurrency theory |b 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings |c Pedro R. D'Argenio ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
| 300 | |a 1 Online-Ressource (XIV, 562 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 8052 : 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 2013 |z Buenos Aires |2 gnd-content | |
| 689 | 0 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a D'Argenio, Pedro R. |d 1968- |e Sonstige |0 (DE-588)1038391229 |4 oth | |
| 711 | 2 | |a CONCUR |n 24 |d 2013 |c Buenos Aires |j Sonstige |0 (DE-588)1041289049 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 8052 : Advanced research in computing and software science |w (DE-604)BV014880109 |9 8052 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-40184-8 |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=026881983&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=026881983&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-LNC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-026881983 | |
Datensatz im Suchindex
| _version_ | 1820875535018885120 |
|---|---|
| adam_text |
CONCUR 2013 – CONCURRENCY THEORY
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PROCESS SEMANTICS AND MODAL TRANSITION SYSTEMS.-VAS AND PUSHDOWN
SYSTEMS.-PI CALCULUS AND INTERACTION NETS
LINEARIZABILITY AND VERIFICATION OF CONCURRENT PROGRAMS
VERIFICATION OF INFINITE MODELS, MODEL MEASURE AND
REVERSIBILITY.-STOCHASTIC MODELS.-MESSAGE-BASED INTERACTING
PROCESSES.-PRINCIPLES OF AUTOMATIC VERIFICATION
GAMES AND CONTROL SYNTHESIS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
CONCUR 2013 – CONCURRENCY THEORY
/
: 2013
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE THOROUGHLY REFEREED PROCEEDINGS OF THE 24TH
INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY, CONCUR 2013, HELD IN
BUENOS AIRES, ARGENTINA, AUGUST 27-30, 2013. THE 34 REVISED FULL PAPERS
PRESENTED TOGETHER WITH 4 INVITED TALKS WERE CAREFULLY REVIEWED AND
SELECTED FROM 115 SUBMISSIONS. THE PAPERS ARE ORGANIZED IN TOPICS SUCH
AS PROCESS SEMANTICS AND MODAL TRANSITION SYSTEMS, VAS AND PUSHDOWN
SYSTEMS, PI CALCULUS AND INTERACTION NETS, LINEARIZABILITY AND
VERIFICATION OF CONCURRENT PROGRAMS, VERIFICATION OF INFINITE MODELS,
MODEL MEASURE AND REVERSIBILITY, STOCHASTIC MODELS, MESSAGE-BASED
INTERACTION PROCESSES, PRINCIPLES OF AUTOMATIC VERIFICATION, AND GAMES
AND CONTROL SYNTHESIS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. |
| any_adam_object | 1 |
| author_GND | (DE-588)1038391229 |
| building | Verbundindex |
| bvnumber | BV041435101 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 516f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)858014525 (DE-599)BVBBV041435101 |
| dewey-full | 005.1015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1015113 |
| dewey-search | 005.1015113 |
| dewey-sort | 15.1015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-40184-8 |
| format | Electronic Conference Proceeding eBook |
| 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">BV041435101</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140311</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131121s2013 xx d||| o|||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642401831</subfield><subfield code="9">978-3-642-40183-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642401848</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-40184-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-40184-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)858014525</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041435101</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1015113</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 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">CONCUR 2013 - concurrency theory</subfield><subfield code="b">24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings</subfield><subfield code="c">Pedro R. D'Argenio ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 562 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">8052 : 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">2013</subfield><subfield code="z">Buenos Aires</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">D'Argenio, Pedro R.</subfield><subfield code="d">1968-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1038391229</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CONCUR</subfield><subfield code="n">24</subfield><subfield code="d">2013</subfield><subfield code="c">Buenos Aires</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1041289049</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">8052 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8052</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-40184-8</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=026881983&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=026881983&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-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026881983</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2013 Buenos Aires gnd-content |
| genre_facet | Konferenzschrift 2013 Buenos Aires |
| id | DE-604.BV041435101 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:17:09Z |
| institution | BVB |
| institution_GND | (DE-588)1041289049 |
| isbn | 9783642401831 9783642401848 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026881983 |
| oclc_num | 858014525 |
| open_access_boolean | |
| owner | DE-739 DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| owner_facet | DE-739 DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-Aug4 DE-92 DE-29 DE-859 DE-91 DE-BY-TUM DE-706 DE-384 DE-634 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XIV, 562 S.) graph. Darst. |
| psigel | ZDB-2-SCS ZDB-2-LNC |
| publishDate | 2013 |
| publishDateSearch | 2013 |
| publishDateSort | 2013 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | CONCUR 2013 - concurrency theory 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings Pedro R. D'Argenio ... (eds.) Berlin [u.a.] Springer 2013 1 Online-Ressource (XIV, 562 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 8052 : Advanced research in computing and software science Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Buenos Aires gnd-content Nebenläufigkeit (DE-588)4115352-2 s DE-604 D'Argenio, Pedro R. 1968- Sonstige (DE-588)1038391229 oth CONCUR 24 2013 Buenos Aires Sonstige (DE-588)1041289049 oth Lecture notes in computer science 8052 : Advanced research in computing and software science (DE-604)BV014880109 8052 https://doi.org/10.1007/978-3-642-40184-8 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026881983&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=026881983&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | CONCUR 2013 - concurrency theory 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings Lecture notes in computer science Nebenläufigkeit (DE-588)4115352-2 gnd |
| subject_GND | (DE-588)4115352-2 (DE-588)1071861417 |
| title | CONCUR 2013 - concurrency theory 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings |
| title_auth | CONCUR 2013 - concurrency theory 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings |
| title_exact_search | CONCUR 2013 - concurrency theory 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings |
| title_full | CONCUR 2013 - concurrency theory 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings Pedro R. D'Argenio ... (eds.) |
| title_fullStr | CONCUR 2013 - concurrency theory 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings Pedro R. D'Argenio ... (eds.) |
| title_full_unstemmed | CONCUR 2013 - concurrency theory 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings Pedro R. D'Argenio ... (eds.) |
| title_short | CONCUR 2013 - concurrency theory |
| title_sort | concur 2013 concurrency theory 24th international conference concur 2013 buenos aires argentina august 27 30 2013 proceedings |
| title_sub | 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013 ; proceedings |
| topic | Nebenläufigkeit (DE-588)4115352-2 gnd |
| topic_facet | Nebenläufigkeit Konferenzschrift 2013 Buenos Aires |
| url | https://doi.org/10.1007/978-3-642-40184-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026881983&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=026881983&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT dargeniopedror concur2013concurrencytheory24thinternationalconferenceconcur2013buenosairesargentinaaugust27302013proceedings AT concurbuenosaires concur2013concurrencytheory24thinternationalconferenceconcur2013buenosairesargentinaaugust27302013proceedings |