Formal techniques for distributed systems: joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2011
|
| Schriftenreihe: | Lecture notes in computer science
6722 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XIV, 348 S. graph. Darst. 24 cm |
| ISBN: | 9783642214608 3642214606 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039102381 | ||
| 003 | DE-604 | ||
| 005 | 20110810 | ||
| 007 | t| | ||
| 008 | 110627s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N19 |2 dnb | ||
| 015 | |a 11,A24 |2 dnb | ||
| 016 | 7 | |a 101145825X |2 DE-101 | |
| 020 | |a 9783642214608 |c kart. : EUR 57.78 (DE) (freier Pr.), ca. sfr 102.00 (freier Pr.) |9 978-3-642-21460-8 | ||
| 020 | |a 3642214606 |9 3-642-21460-6 | ||
| 024 | 3 | |a 9783642214608 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80063960 |
| 035 | |a (OCoLC)725239430 | ||
| 035 | |a (DE-599)DNB101145825X | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-91G |a DE-11 |a DE-83 | ||
| 082 | 0 | |a 004.36 |2 22/ger | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a DAT 250f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 245 | 1 | 0 | |a Formal techniques for distributed systems |b joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings |c Roberto Bruni ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XIV, 348 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 6722 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |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 2011 |z Reykjavik |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 | |
| 700 | 1 | |a Bruni, Roberto |e Sonstige |4 oth | |
| 710 | 2 | |a International Federation for Information Processing |b Working Group Architecture and Protocols for Computer Networks |e Sonstige |0 (DE-588)5103524-8 |4 oth | |
| 711 | 2 | |a FMOODS |n 13 |d 2011 |c Reykjavík |j Sonstige |0 (DE-588)16159433-5 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t Formal Techniques for Distributed Systems |
| 830 | 0 | |a Lecture notes in computer science |v 6722 |w (DE-604)BV000000607 |9 6722 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3725902&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=022646288&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-022646288 | |
Datensatz im Suchindex
| _version_ | 1820875322739916800 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
ON GLOBAL TYPES AND MULTI-PARTY SESSIONS 1
GIUSEPPE CASTAGNA, MARIANGIOLA DEZANI-CIANCAGLINI, AND LUCA PADOVANI
LINEAR-TIME AND MAY-TESTING IN A PROBABILISTIC REACTIVE SETTING 29 LUCIA
ACCIAI, MICHELE BOREALE, AND ROCCO DE NICOLA
A MODEL-CHECKING TOOL FOR FAMILIES OF SERVICES 44
PATRIZIA ASIRELLI, MAURICE H. TER BEEK, ALESSANDRO FANTECHI, AND
STEFANIA GNESI
PARTIAL ORDER METHODS FOR STATISTICAL MODEL CHECKING AND SIMULATION 59
JONATHAN BOGDOLL, LUIS MARIA FERRER FIORITI, ARND HARTMANNS, AND HOLGER
HERMANNS
COUNTEREXAMPLE GENERATION FOR MARKOV CHAINS USING SMT-BASED BOUNDED
MODEL CHECKING 75
BETTINA BRAITLING, RALF WIMMER, BERND BECKER, NILS JANSEN, AND ERIKA
ABRAHAM
ADAPTABLE PROCESSES (EXTENDED ABSTRACT) 90
MARIO BRAVETTI, CINZIA DI GIUSTO, JORGE A. PEREZ, AND GIANLUIGI
ZAVATTARO
A FRAMEWORK FOR VERIFYING DATA-CENTRIC PROTOCOLS 106
YUXIN DENG, STEPHANE GRUMBACH, AND JEAN-FRANGOIS MONIN
RELATIONAL CONCURRENT REFINEMENT: TIMED REFINEMENT 121
JOHN DERRICK AND EERKE BOITEN
GALOIS CONNECTIONS FOR FLOW ALGEBRAS 138
PIOTR FILIPIUK, MICHAL TEREPETA, HANNE RIIS NIELSON, AND FLEMMING
NIELSON
AN ACCURATE TYPE SYSTEM FOR INFORMATION FLOW IN PRESENCE OF ARRAYS 153
SEVERINE FRATANI AND JEAN-MARC TALBOT
ANALYSIS OF DEADLOCKS IN OBJECT GROUPS 168
ELENA GIACHINO AND COSIMO LANEVE
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/101145825X
DIGITALISIERT DURCH
IMAGE 2
XIV TABLE OF CONTENTS
MONITORING DISTRIBUTED SYSTEMS USING KNOWLEDGE 183
SUSANNE GRAF, DORON PELED, AND SOPHIE QUINTON
GLOBAL STATE ESTIMATES FOR DISTRIBUTED SYSTEMS 198
GABRIEL KALYON, TRISTAN LE GALL, HERVE MARCHAND, AND THIERRY MASSART
A PROCESS CALCULUS FOR DYNAMIC NETWORKS 213
DIMITRIOS KOUZAPAS AND ANNA PHILIPPOU
ON ASYNCHRONOUS SESSION SEMANTICS 228
DIMITRIOS KOUZAPAS, NOBUKO YOSHIDA, AND KOHEI HONDA
TOWARDS VERIFICATION OF THE PASTRY PROTOCOL USING TLA + 244
TIANXIANG LU, STEPHAN MERZ, AND CHRISTOPH WEIDENBACH
DYNAMIC SOUNDNESS IN RESOURCE-CONSTRAINED WORKFLOW NETS 259 MARIA
MARTOS-SALGADO AND FERNANDO ROSA- VELARDO
SIMGRID MC: VERIFICATION SUPPORT FOR A MULTI-API SIMULATION PLATFORM 274
STEPHAN MERZ, MARTIN QUINSON, AND CRISTIAN ROSA
OWNERSHIP TYPES FOR THE JOIN CALCULUS 289
MARCO PATRIGNANI, DAVE CLARKE, AND DAVIDE SANGIORGI
CONTRACTS FOR MULTI-INSTANCE UML ACTIVITIES 304
VIDAR STAETTEN AND PETER HERRMANN
ANNOTATION INFERENCE FOR SEPARATION LOGIC BASED VERIFIERS 319
FREDERIC VOGELS, BART JACOBS, FRANK PIESSENS, AND JAN SMANS
ANALYZING BGP INSTANCES IN MAUDE 334
ANDUO WANG, CAROLYN TALCOTT, LIMIN JIA, BOON THAU LOO, AND ANDRE SCEDROV
AUTHOR INDEX 349 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV039102381 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 250f |
| ctrlnum | (OCoLC)725239430 (DE-599)DNB101145825X |
| dewey-full | 004.36 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.36 |
| dewey-search | 004.36 |
| dewey-sort | 14.36 |
| 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">BV039102381</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110810</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110627s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N19</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,A24</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">101145825X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642214608</subfield><subfield code="c">kart. : EUR 57.78 (DE) (freier Pr.), ca. sfr 102.00 (freier Pr.)</subfield><subfield code="9">978-3-642-21460-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642214606</subfield><subfield code="9">3-642-21460-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642214608</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80063960</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)725239430</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB101145825X</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-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.36</subfield><subfield code="2">22/ger</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 250f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal techniques for distributed systems</subfield><subfield code="b">joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings</subfield><subfield code="c">Roberto Bruni ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 348 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">6722</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">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">2011</subfield><subfield code="z">Reykjavik</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="700" ind1="1" ind2=" "><subfield code="a">Bruni, Roberto</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Federation for Information Processing</subfield><subfield code="b">Working Group Architecture and Protocols for Computer Networks</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)5103524-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FMOODS</subfield><subfield code="n">13</subfield><subfield code="d">2011</subfield><subfield code="c">Reykjavík</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16159433-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">Formal Techniques for Distributed Systems</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6722</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6722</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3725902&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=022646288&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-022646288</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Reykjavik gnd-content |
| genre_facet | Konferenzschrift 2011 Reykjavik |
| id | DE-604.BV039102381 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:46Z |
| institution | BVB |
| institution_GND | (DE-588)5103524-8 (DE-588)16159433-5 |
| isbn | 9783642214608 3642214606 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-022646288 |
| oclc_num | 725239430 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-11 DE-83 |
| physical | XIV, 348 S. graph. Darst. 24 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings Roberto Bruni ... (eds.) Berlin [u.a.] Springer 2011 XIV, 348 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6722 Literaturangaben Formale Methode (DE-588)4333722-3 gnd rswk-swf Verteiltes System (DE-588)4238872-7 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Reykjavik gnd-content Verteiltes System (DE-588)4238872-7 s Formale Methode (DE-588)4333722-3 s DE-604 Bruni, Roberto Sonstige oth International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks Sonstige (DE-588)5103524-8 oth FMOODS 13 2011 Reykjavík Sonstige (DE-588)16159433-5 oth Erscheint auch als Online-Ausgabe Formal Techniques for Distributed Systems Lecture notes in computer science 6722 (DE-604)BV000000607 6722 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3725902&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022646288&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Verteiltes System (DE-588)4238872-7 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4238872-7 (DE-588)1071861417 |
| title | Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings |
| title_auth | Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings |
| title_exact_search | Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings |
| title_full | Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings Roberto Bruni ... (eds.) |
| title_fullStr | Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings Roberto Bruni ... (eds.) |
| title_full_unstemmed | Formal techniques for distributed systems joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings Roberto Bruni ... (eds.) |
| title_short | Formal techniques for distributed systems |
| title_sort | formal techniques for distributed systems joint 13th ifip wg 6 1 international conference fmoods 2011 and 30th ifip wg 6 1 international conference forte 2011 reykjavik island june 6 9 proceedings |
| title_sub | joint 13th IFIP WG 6.1 international conference, FMOODS 2011 and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Island, June 6 - 9 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Verteiltes System (DE-588)4238872-7 gnd |
| topic_facet | Formale Methode Verteiltes System Konferenzschrift 2011 Reykjavik |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3725902&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=022646288&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT bruniroberto formaltechniquesfordistributedsystemsjoint13thifipwg61internationalconferencefmoods2011and30thifipwg61internationalconferenceforte2011reykjavikislandjune69proceedings AT internationalfederationforinformationprocessingworkinggrouparchitectureandprotocolsforcomputernetworks formaltechniquesfordistributedsystemsjoint13thifipwg61internationalconferencefmoods2011and30thifipwg61internationalconferenceforte2011reykjavikislandjune69proceedings AT fmoodsreykjavik formaltechniquesfordistributedsystemsjoint13thifipwg61internationalconferencefmoods2011and30thifipwg61internationalconferenceforte2011reykjavikislandjune69proceedings |