Coordination models and languages: 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture notes in computer science
5521 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XII, 305 S. graph. Darst. 24 cm |
| ISBN: | 9783642020520 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035554106 | ||
| 003 | DE-604 | ||
| 005 | 20090723 | ||
| 007 | t| | ||
| 008 | 090608s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N21,0041 |2 dnb | ||
| 016 | 7 | |a 994079273 |2 DE-101 | |
| 020 | |a 9783642020520 |c kart. : EUR 52.38 (freier Pr.), sfr 76.00 (freier Pr.) |9 978-3-642-02052-0 | ||
| 024 | 3 | |a 9783642020520 | |
| 028 | 5 | 2 | |a 12688784 |
| 035 | |a (OCoLC)401156505 | ||
| 035 | |a (DE-599)DNB994079273 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.58 | |
| 082 | 0 | |a 005.27 |2 22/ger | |
| 082 | 0 | |a 005.27 |2 22//ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 350f |2 stub | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Coordination models and languages |b 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings |c John Field ,.. (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XII, 305 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 5521 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Koordinationssprache - Kongress - Lissabon <2009> | |
| 650 | 4 | |a Koordinationssprache - Nebenläufigkeit - Spezifikationstechnik - Verifikation - Kongress - Lissabon <2009> | |
| 650 | 4 | |a Verteiltes System - Softwarearchitektur - Koordinationssprache - Komponente <Software> - Kongress - Lissabon <2009> | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Electronic data processing |x Distributed processing |v Congresses | |
| 650 | 4 | |a Parallel processing (Electronic computers) |v Congresses | |
| 650 | 0 | 7 | |a Koordinationssprache |0 (DE-588)4741705-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Komponente |g Software |0 (DE-588)4439521-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spezifikationstechnik |0 (DE-588)4299724-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarearchitektur |0 (DE-588)4121677-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 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 2009 |z Lissabon |2 gnd-content | |
| 689 | 0 | 0 | |a Koordinationssprache |0 (DE-588)4741705-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Koordinationssprache |0 (DE-588)4741705-5 |D s |
| 689 | 1 | 1 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 1 | 2 | |a Spezifikationstechnik |0 (DE-588)4299724-0 |D s |
| 689 | 1 | 3 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 2 | 1 | |a Softwarearchitektur |0 (DE-588)4121677-5 |D s |
| 689 | 2 | 2 | |a Koordinationssprache |0 (DE-588)4741705-5 |D s |
| 689 | 2 | 3 | |a Komponente |g Software |0 (DE-588)4439521-8 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Field, John |d 1921-2000 |e Sonstige |0 (DE-588)14189640X |4 oth | |
| 711 | 2 | |a International Conference on Coordination Models and Languages |n 11 |d 2009 |c Lissabon |j Sonstige |0 (DE-588)16010659-X |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 5521 |w (DE-604)BV000000607 |9 5521 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017609961&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017609961 | |
Datensatz im Suchindex
| _version_ | 1820875126384623616 |
|---|---|
| adam_text |
MARCELLO BONSANGUE, DAVE CLARKE, AND ALEXANDRA SILVA TABLE OF CONTENTS
INVITED TALK HOP, A FAST SERVER FOR THE DIFFUSE WEB 1 MANUEL SERRANO
LANGUAGES AND SYSTEMS HIGH-PERFORMANCE TRANSACTIONAL EVENT PROCESSING 27
ANTONIO CUNEI, RACHID GUERRAOUI, JESPER HONIG SPRING, JEAN PRIVAT, AND
JAN VITEK EXCEPTIONALLY SAFE FUTURES 47 ARMAND NAVABI AND SURESH
JAGANNATHAN ENHANCED COORDINATION IN SENSOR NETWORKS THROUGH FLEXIBLE
SERVICE PROVISIONING 66 CHIEN-LIANG FOK, GRUIA-CATALIN ROMAN, AND
CHENYANG LU FAIRNESS FOR CHORDED LANGUAGES 86 ALEXIS PETROUNIAS AND
SUSAN EISENBACH SEMANTIC MODELS AND CALCULI MOBILITY MODELS AND
BEHAVIOURAL EQUIVALENCE FOR WIRELESS NETWORKS . 106 JENS CHR.
GODSKESEN AND SEBASTIAN NANZ PARAMETRISED CONSTANTS AND REPLICATION FOR
SPATIAL MOBILITY 123 BJ0RN HAAGENSEN AND HANS HUETTEL BIOCHEMICAL TUPLE
SPACES FOR SELF-ORGANISING COORDINATION 143 MIRKO VIROLI AND MATTEO
CASADEI JOINT SESSION MULTICORE SCHEDULING FOR LIGHTWEIGHT COMMUNICATING
PROCESSES 163 CARL G. RITSON, ADAM T. SAMPSON, AND FREDERICK R.M. BARNES
COMPOSITION AND CORNPONENTS AUTOMATA FOR CONTEXT-DEPENDENT CONNECTORS
184 BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/994079273
DIGITALISIERT DURCH XII TABLE OF CONTENTS CONTRACT-BASED COORDINATION OF
HARDWARE COMPONENTS FOR THE DEVELOPMENT OF EMBEDDED SOFTWARE 204 TAYEB
BOUHADIBA AND FLORENCE MARANINCHI COORDINATION MODEL FOR REAL-TIME
COLLABORATIVE EDITORS 225 ABDESSAMAD IMINE VERIFICATION AND MODELING A
UNIFORM FRAMEWORK FOR MODELING AND VERIFYING COMPONENTS AND CONNECTORS
247 CHRISTEL BAIER, TOBIAS BLECHMANN, JOACHIM KLEIN, AND SASCHA
KLUEPPELHOLZ FROM COORDINATION TO STOCHASTIC MODELS OF QOS 268 FARHAD
ARBAB, TOM CHOTHIA, ROB VAN DER MEI, SUN MENG, YOUNGJOO MOON, AND
CHRETIEN VERHOEF ASSUME-GUARANTEE VERIFICATION OF CONCURRENT SYSTEMS 288
LILIANA D'ERRICO AND MICHELE LORETI AUTHOR INDEX 307 |
| any_adam_object | 1 |
| author_GND | (DE-588)14189640X |
| building | Verbundindex |
| bvnumber | BV035554106 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.58 |
| callnumber-search | QA76.58 |
| callnumber-sort | QA 276.58 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 350f DAT 310f |
| ctrlnum | (OCoLC)401156505 (DE-599)DNB994079273 |
| dewey-full | 005.27 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.27 |
| dewey-search | 005.27 |
| dewey-sort | 15.27 |
| dewey-tens | 000 - Computer science, information, general works |
| 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">BV035554106</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090723</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090608s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N21,0041</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">994079273</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642020520</subfield><subfield code="c">kart. : EUR 52.38 (freier Pr.), sfr 76.00 (freier Pr.)</subfield><subfield code="9">978-3-642-02052-0</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642020520</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12688784</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)401156505</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB994079273</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.58</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.27</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.27</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Coordination models and languages</subfield><subfield code="b">11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings</subfield><subfield code="c">John Field ,.. (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 305 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">Lecture notes in computer science</subfield><subfield code="v">5521</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Koordinationssprache - Kongress - Lissabon <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Koordinationssprache - Nebenläufigkeit - Spezifikationstechnik - Verifikation - Kongress - Lissabon <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Verteiltes System - Softwarearchitektur - Koordinationssprache - Komponente <Software> - Kongress - Lissabon <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Koordinationssprache</subfield><subfield code="0">(DE-588)4741705-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299724-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">2009</subfield><subfield code="z">Lissabon</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Koordinationssprache</subfield><subfield code="0">(DE-588)4741705-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Koordinationssprache</subfield><subfield code="0">(DE-588)4741705-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299724-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Koordinationssprache</subfield><subfield code="0">(DE-588)4741705-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="3"><subfield code="a">Komponente</subfield><subfield code="g">Software</subfield><subfield code="0">(DE-588)4439521-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Field, John</subfield><subfield code="d">1921-2000</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)14189640X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Coordination Models and Languages</subfield><subfield code="n">11</subfield><subfield code="d">2009</subfield><subfield code="c">Lissabon</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16010659-X</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">5521</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5521</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=017609961&sequence=000001&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-017609961</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Lissabon gnd-content |
| genre_facet | Konferenzschrift 2009 Lissabon |
| id | DE-604.BV035554106 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:39Z |
| institution | BVB |
| institution_GND | (DE-588)16010659-X |
| isbn | 9783642020520 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017609961 |
| oclc_num | 401156505 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XII, 305 S. graph. Darst. 24 cm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Coordination models and languages 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings John Field ,.. (eds.) Berlin [u.a.] Springer 2009 XII, 305 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5521 Literaturangaben Koordinationssprache - Kongress - Lissabon <2009> Koordinationssprache - Nebenläufigkeit - Spezifikationstechnik - Verifikation - Kongress - Lissabon <2009> Verteiltes System - Softwarearchitektur - Koordinationssprache - Komponente <Software> - Kongress - Lissabon <2009> Datenverarbeitung Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Koordinationssprache (DE-588)4741705-5 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf Spezifikationstechnik (DE-588)4299724-0 gnd rswk-swf Softwarearchitektur (DE-588)4121677-5 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Lissabon gnd-content Koordinationssprache (DE-588)4741705-5 s DE-604 Nebenläufigkeit (DE-588)4115352-2 s Spezifikationstechnik (DE-588)4299724-0 s Verifikation (DE-588)4135577-5 s Verteiltes System (DE-588)4238872-7 s Softwarearchitektur (DE-588)4121677-5 s Komponente Software (DE-588)4439521-8 s Field, John 1921-2000 Sonstige (DE-588)14189640X oth International Conference on Coordination Models and Languages 11 2009 Lissabon Sonstige (DE-588)16010659-X oth Lecture notes in computer science 5521 (DE-604)BV000000607 5521 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017609961&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Coordination models and languages 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings Lecture notes in computer science Koordinationssprache - Kongress - Lissabon <2009> Koordinationssprache - Nebenläufigkeit - Spezifikationstechnik - Verifikation - Kongress - Lissabon <2009> Verteiltes System - Softwarearchitektur - Koordinationssprache - Komponente <Software> - Kongress - Lissabon <2009> Datenverarbeitung Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Koordinationssprache (DE-588)4741705-5 gnd Komponente Software (DE-588)4439521-8 gnd Verteiltes System (DE-588)4238872-7 gnd Spezifikationstechnik (DE-588)4299724-0 gnd Softwarearchitektur (DE-588)4121677-5 gnd Verifikation (DE-588)4135577-5 gnd Nebenläufigkeit (DE-588)4115352-2 gnd |
| subject_GND | (DE-588)4741705-5 (DE-588)4439521-8 (DE-588)4238872-7 (DE-588)4299724-0 (DE-588)4121677-5 (DE-588)4135577-5 (DE-588)4115352-2 (DE-588)1071861417 |
| title | Coordination models and languages 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings |
| title_auth | Coordination models and languages 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings |
| title_exact_search | Coordination models and languages 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings |
| title_full | Coordination models and languages 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings John Field ,.. (eds.) |
| title_fullStr | Coordination models and languages 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings John Field ,.. (eds.) |
| title_full_unstemmed | Coordination models and languages 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings John Field ,.. (eds.) |
| title_short | Coordination models and languages |
| title_sort | coordination models and languages 11th international conference coordination 2009 lisbon portugal june 9 12 2009 proceedings |
| title_sub | 11th international conference ; coordination 2009, Lisbon, Portugal, June 9 - 12, 2009 ; proceedings |
| topic | Koordinationssprache - Kongress - Lissabon <2009> Koordinationssprache - Nebenläufigkeit - Spezifikationstechnik - Verifikation - Kongress - Lissabon <2009> Verteiltes System - Softwarearchitektur - Koordinationssprache - Komponente <Software> - Kongress - Lissabon <2009> Datenverarbeitung Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Koordinationssprache (DE-588)4741705-5 gnd Komponente Software (DE-588)4439521-8 gnd Verteiltes System (DE-588)4238872-7 gnd Spezifikationstechnik (DE-588)4299724-0 gnd Softwarearchitektur (DE-588)4121677-5 gnd Verifikation (DE-588)4135577-5 gnd Nebenläufigkeit (DE-588)4115352-2 gnd |
| topic_facet | Koordinationssprache - Kongress - Lissabon <2009> Koordinationssprache - Nebenläufigkeit - Spezifikationstechnik - Verifikation - Kongress - Lissabon <2009> Verteiltes System - Softwarearchitektur - Koordinationssprache - Komponente <Software> - Kongress - Lissabon <2009> Datenverarbeitung Electronic data processing Distributed processing Congresses Parallel processing (Electronic computers) Congresses Koordinationssprache Komponente Software Verteiltes System Spezifikationstechnik Softwarearchitektur Verifikation Nebenläufigkeit Konferenzschrift 2009 Lissabon |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017609961&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fieldjohn coordinationmodelsandlanguages11thinternationalconferencecoordination2009lisbonportugaljune9122009proceedings AT internationalconferenceoncoordinationmodelsandlanguageslissabon coordinationmodelsandlanguages11thinternationalconferencecoordination2009lisbonportugaljune9122009proceedings |