Coordination Models and Languages: 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Gespeichert in:
| Format: | Elektronisch Tagungsbericht E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer International Publishing
2015
|
| Schriftenreihe: | Lecture Notes in Computer Science
9037 |
| Schlagworte: | |
| Online-Zugang: | Volltext Abstract Inhaltsverzeichnis |
| Beschreibung: | 1 Online-Ressource (XIV, 247 p. 76 illus) |
| ISBN: | 9783319192826 9783319192819 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-19282-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042544617 | ||
| 003 | DE-604 | ||
| 005 | 20150512 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150506s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319192826 |c Online |9 978-3-319-19282-6 | ||
| 020 | |a 9783319192819 |c Print |9 978-3-319-19281-9 | ||
| 024 | 7 | |a 10.1007/978-3-319-19282-6 |2 doi | |
| 035 | |a (OCoLC)908701658 | ||
| 035 | |a (DE-599)BVBBV042544617 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a DAT 250f |2 stub | ||
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Coordination Models and Languages |b 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings |c edited by Tom Holvoet, Mirko Viroli |
| 264 | 1 | |a Cham |b Springer International Publishing |c 2015 | |
| 300 | |a 1 Online-Ressource (XIV, 247 p. 76 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9037 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer software | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Programming Techniques | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |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 Softwarearchitektur |0 (DE-588)4121677-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Koordinationssprache |0 (DE-588)4741705-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2015 |z Grenoble |2 gnd-content | |
| 689 | 0 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | 1 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 1 | 1 | |a Softwarearchitektur |0 (DE-588)4121677-5 |D s |
| 689 | 1 | 2 | |a Koordinationssprache |0 (DE-588)4741705-5 |D s |
| 689 | 1 | 3 | |a Komponente |g Software |0 (DE-588)4439521-8 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Holvoet, Tom |e Sonstige |4 oth | |
| 711 | 2 | |a DisCoTec |n 10. |d 2015 |c Grenoble |j Sonstige |0 (DE-588)1070875511 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9037 |w (DE-604)BV014880109 |9 9037 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-19282-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=027978623&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 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=027978623&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027978623 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153310366662656 |
|---|---|
| adam_text | COORDINATION MODELS AND LANGUAGES
/ HOLVOET, TOM
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE 17TH INTERNATIONAL
CONFERENCE ON COORDINATION MODELS AND LANGUAGES, COORDINATION 2015, HELD
AS PART OF THE 10TH INTERNATIONAL FEDERATED CONFERENCE ON DISTRIBUTED
COMPUTING TECHNIQUES, DISCOTEC 2015, IN GRENOBLE, FRANCE, IN JUNE 2015.
THE 14 FULL PAPERS AND ONE SHORT PAPER PRESENTED WERE CAREFULLY REVIEWED
AND SELECTED FROM 36 SUBMISSIONS. THEY ARE ORGANIZED IN TOPICAL SECTIONS
ON TUPLE-BASED COORDINATION, COORDINATING ENSEMBLES, CONSTRAINTS,
AGENT-ORIENTED TECHNIQUES, AND SHARED SPACES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
COORDINATION MODELS AND LANGUAGES
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
REPLICA-BASED HIGH-PERFORMANCE TUPLE SPACE COMPUTING
INVESTIGATING FLUID-FLOW SEMANTICS OF ASYNCHRONOUS TUPLE-BASED PROCESS
LANGUAGES FOR COLLECTIVE ADAPTIVE SYSTEMS
LOGIC FRAGMENTS: A COORDINATION MODEL BASED ON LOGIC INFERENCE
COMINGLE: DISTRIBUTED LOGIC PROGRAMMING FOR DECENTRALIZED MOBILE
ENSEMBLES
DYNAMIC CHOREOGRAPHIES: SAFE RUNTIME UPDATES OF DISTRIBUTED APPLICATIONS
TYPE RECONSTRUCTION ALGORITHMS FOR DEADLOCK-FREE AND LOCK-FREE LINEAR
Π-CALCULI
A FIX POINT-BASED CALCULUS FOR GRAPH-SHAPED COMPUTATIONAL FIELDS
TAKE COMMAND OF YOUR CONSTRAINTS!
A LABELLED SEMANTICS FOR SOFT CONCURRENT CONSTRAINT PROGRAMMING
PARALLELISATION AND APPLICATION OF AD3 AS A METHOD FOR SOLVING LARGE
SCALE COMBINATORIAL AUCTIONS
HANDLING AGENT PERCEPTION IN HETEROGENEOUS DISTRIBUTED SYSTEMS: A
POLICY-BASED APPROACH
BLENDING EVENT-BASED AND MULTI-AGENT SYSTEMS AROUND COORDINATION
ABSTRACTIONS
KLAIM-DB: A MODELING LANGUAGE FOR DISTRIBUTED DATABASE APPLICATIONS
OPEN TRANSACTIONS ON SHARED MEMORY
VISIRI - DISTRIBUTED COMPLEX EVENT PROCESSING SYSTEM FOR HANDLING LARGE
NUMBER OF QUERIES
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV042544617 |
| classification_tum | DAT 250f DAT 510f DAT 000 |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)908701658 (DE-599)BVBBV042544617 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-19282-6 |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03607nmm a2200745zcb4500</leader><controlfield tag="001">BV042544617</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150512 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150506s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319192826</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-19282-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319192819</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-19281-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-19282-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)908701658</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042544617</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 250f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</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">Coordination Models and Languages</subfield><subfield code="b">17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings</subfield><subfield code="c">edited by Tom Holvoet, Mirko Viroli</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 247 p. 76 illus)</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">9037</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">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">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">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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2015</subfield><subfield code="z">Grenoble</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</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">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" 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="1" 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="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Holvoet, Tom</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DisCoTec</subfield><subfield code="n">10.</subfield><subfield code="d">2015</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1070875511</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">9037</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9037</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-19282-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=027978623&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</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=027978623&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027978623</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2015 Grenoble gnd-content |
| genre_facet | Konferenzschrift 2015 Grenoble |
| id | DE-604.BV042544617 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:24:34Z |
| institution | BVB |
| institution_GND | (DE-588)1070875511 |
| isbn | 9783319192826 9783319192819 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027978623 |
| oclc_num | 908701658 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (XIV, 247 p. 76 illus) |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings edited by Tom Holvoet, Mirko Viroli Cham Springer International Publishing 2015 1 Online-Ressource (XIV, 247 p. 76 illus) txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9037 0302-9743 Computer science Software engineering Computer software Logic design Computer Science Software Engineering Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity Informatik Formale Methode (DE-588)4333722-3 gnd rswk-swf Komponente Software (DE-588)4439521-8 gnd rswk-swf Softwarearchitektur (DE-588)4121677-5 gnd rswk-swf Koordinationssprache (DE-588)4741705-5 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2015 Grenoble gnd-content Verteiltes System (DE-588)4238872-7 s Formale Methode (DE-588)4333722-3 s DE-604 Softwarearchitektur (DE-588)4121677-5 s Koordinationssprache (DE-588)4741705-5 s Komponente Software (DE-588)4439521-8 s 1\p DE-604 Holvoet, Tom Sonstige oth DisCoTec 10. 2015 Grenoble Sonstige (DE-588)1070875511 oth Lecture Notes in Computer Science 9037 (DE-604)BV014880109 9037 https://doi.org/10.1007/978-3-319-19282-6 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978623&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Abstract Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978623&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings Lecture Notes in Computer Science Computer science Software engineering Computer software Logic design Computer Science Software Engineering Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity Informatik Formale Methode (DE-588)4333722-3 gnd Komponente Software (DE-588)4439521-8 gnd Softwarearchitektur (DE-588)4121677-5 gnd Koordinationssprache (DE-588)4741705-5 gnd Verteiltes System (DE-588)4238872-7 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4439521-8 (DE-588)4121677-5 (DE-588)4741705-5 (DE-588)4238872-7 (DE-588)1071861417 |
| title | Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings |
| title_auth | Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings |
| title_exact_search | Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings |
| title_full | Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings edited by Tom Holvoet, Mirko Viroli |
| title_fullStr | Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings edited by Tom Holvoet, Mirko Viroli |
| title_full_unstemmed | Coordination Models and Languages 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings edited by Tom Holvoet, Mirko Viroli |
| title_short | Coordination Models and Languages |
| title_sort | coordination models and languages 17th ifip wg 6 1 international conference coordination 2015 held as part of the 10th international federated conference on distributed computing techniques discotec 2015 grenoble france june 2 4 2015 proceedings |
| title_sub | 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings |
| topic | Computer science Software engineering Computer software Logic design Computer Science Software Engineering Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity Informatik Formale Methode (DE-588)4333722-3 gnd Komponente Software (DE-588)4439521-8 gnd Softwarearchitektur (DE-588)4121677-5 gnd Koordinationssprache (DE-588)4741705-5 gnd Verteiltes System (DE-588)4238872-7 gnd |
| topic_facet | Computer science Software engineering Computer software Logic design Computer Science Software Engineering Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity Informatik Formale Methode Komponente Software Softwarearchitektur Koordinationssprache Verteiltes System Konferenzschrift 2015 Grenoble |
| url | https://doi.org/10.1007/978-3-319-19282-6 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978623&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=027978623&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT holvoettom coordinationmodelsandlanguages17thifipwg61internationalconferencecoordination2015heldaspartofthe10thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2015grenoblefrancejune242015proceedings AT discotecgrenoble coordinationmodelsandlanguages17thifipwg61internationalconferencecoordination2015heldaspartofthe10thinternationalfederatedconferenceondistributedcomputingtechniquesdiscotec2015grenoblefrancejune242015proceedings |