CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2009
|
| Schriftenreihe: | Lecture Notes in Computer Science
5710 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XIII, 638 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 9783642040801 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035690177 | ||
| 003 | DE-604 | ||
| 005 | 20100915 | ||
| 007 | t| | ||
| 008 | 090824s2009 gw d||| |||| 10||| eng d | ||
| 015 | |a 09,N33,0019 |2 dnb | ||
| 016 | 7 | |a 995654778 |2 DE-101 | |
| 020 | |a 9783642040801 |c PB. : EUR 84.53 (freier Pr.), sfr 123.00 (freier Pr.) |9 978-3-642-04080-1 | ||
| 024 | 3 | |a 9783642040801 | |
| 028 | 5 | 2 | |a 12734689 |
| 035 | |a (OCoLC)435374404 | ||
| 035 | |a (DE-599)DNB995654778 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.58 | |
| 082 | 0 | |a 004.3522 | |
| 084 | |a DAT 516f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 111 | 2 | |a CONCUR |n 20 |d 2009 |c Bologna |j Verfasser |0 (DE-588)16019558-5 |4 aut | |
| 245 | 1 | 0 | |a CONCUR 2009 - Concurrency Theory |b 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings |c Mario Bravetti ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2009 | |
| 300 | |a XIII, 638 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 5710 | |
| 650 | 4 | |a Nebenläufigkeit - Kongress - Bologna <2009> | |
| 650 | 4 | |a Parallel processing (Electronic computers) |v Congresses | |
| 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 Bologna |2 gnd-content | |
| 689 | 0 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Bravetti, Mario |e Sonstige |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 5710 |w (DE-604)BV000000607 |9 5710 | |
| 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=017744263&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017744263 | |
Datensatz im Suchindex
| _version_ | 1820875143879065600 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
INVITED PAPERS PERSPECTIVES ON TRANSACTIONAL MEMORY 1
MARTIN ABADI AND TIM HARRIS
THE EFFECT OF TOSSING COINS IN OMEGA-AUTOMATA 15
CHRISTEL BAIER, NATHALIE BERTRAND, AND MARCUS GROESSER
BIGRAPHICAL CATEGORIES 30
ROBIN MILNER
BLENX - STATIC AND DYNAMIC SEMANTICS 37
CORRADO PRIAMI, PAOLA QUAGLIA, AND ALESSANDRO ROMAND
CONTRIBUTED PAPERS
FLOW POLICY AWARENESS FOR DISTRIBUTED MOBILE CODE 53
ANA ALMEIDA MATOS
VOLUME AND ENTROPY OF REGULAR TIMED LANGUAGES: DISCRETIZATION APPROACH
69
EUGENE ASARIN AND ALDRIC DEGORRE
A LOGICAL INTERPRETATION OF THE A-CALCULUS INTO THE 7R-CALCULUS,
PRESERVING SPINE REDUCTION AND TYPES 84
STEFFEN VAN BOEKEL AND MARIA GRAZIA VIGLIOTTI
ENCODING ASYNCHRONOUS INTERACTIONS USING OPEN PETRI NETS 99 PAOLO
BALDAN, FILIPPO BONCHI, AND FABIO GADDUCCI
DISTRIBUTED ASYNCHRONOUS AUTOMATA 115
NICOLAS BAUDRU
ALGEBRA FOR INFINITE FORESTS WITH AN APPLICATION TO THE TEMPORAL LOGIC
EF 131
MIKOLAJ BOJANCZYK AND TOMASZ IDZIASZEK
DERIVING SYNTAX AND AXIOMS FOR QUANTITATIVE REGULAR BEHAVIOURS 146
FILIPPO BONCHI, MARCELLO BONSANGUE, JAN RUTTEN, AND ALEXANDRA SILVA
WEIGHTED BISIMULATION IN LINEAR ALGEBRAIC FORM 163
MICHELE BOREALE
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/995654778
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
A LOGIC-BASED FRAMEWORK FOR REASONING ABOUT COMPOSITE DATA STRUCTURES
178
AHMED BOUAJJANI, CEZARA DRAGOI, CONSTANTIN ENEA, AND MIHAELA SIGHIREANU
MEASURING PERMISSIVITY IN FINITE GAMES 196
PATRICIA BOUYER, MARIE DUFLOT, NICOLAS MARKEY, AND GABRIEL RENAULT
CONTRACTS FOR MOBILE PROCESSES 211
GIUSEPPE CASTAGNA AND LUCA PADOVANI
POWER OF RANDOMIZATION IN AUTOMATA ON INFINITE STRINGS 229
ROHIT CHADHA, A. PRASAD SISTLA, AND MAHESH VISWANATHAN
PROBABILISTIC WEIGHTED AUTOMATA 244
KRISHNENDU CHATTERJEE, LAURENT DOYEN, AND THOMAS A. HENZINGER
PARTIALLY-COMMUTATIVE CONTEXT-FREE PROCESSES 259
WOJCIECH CZERWINSKI, SIBYLLE FROESCHLE, AND SLAWOMIR LASOTA
TESTING FINITARY PROBABILISTIC PROCESSES (EXTENDED ABSTRACT) 274 YUXIN
DENG, ROB VAN GLABBEEK, MATTHEW HENNESSY, AND CARROLL MORGAN
A DEMONIC APPROACH TO INFORMATION IN PROBABILISTIC SYSTEMS 289 JOSEE
DESHARNAIS, FRANCOIS LAVIOLETTE, AND AMELIE TURGEON
HYPE: A PROCESS ALGEBRA FOR COMPOSITIONAL FLOWS AND EMERGENT BEHAVIOUR
305
VASHTI GALPIN, LUCA BORTOLUSSI, AND JANE HILLSTON
VARIABLE BINDING, SYMMETRIC MONOIDAL CLOSED THEORIES, AND BIGRAPHS 321
RICHARD GARNER, TOM HIRSCHOWITZ, AND AURELIEN PARDON
PARTIAL ORDER REDUCTION FOR PROBABILISTIC SYSTEMS: A REVISION FOR
DISTRIBUTED SCHEDULERS 338
SERGIO GIRO, PEDRO R. D'ARGENIO, AND LUIS MARIA FERRER FIORITI
MODEL-CHECKING GAMES FOR FIXPOINT LOGICS WITH PARTIAL ORDER MODELS 354
JULIAN GUTIERREZ AND JULIAN BRADFIELD
REACHABILITY IN SUCCINCT AND PARAMETRIC ONE-COUNTER AUTOMATA 369
CHRISTOPH HAASE, STEPHAN KREUTZER, JOEL OUAKNINE, AND JAMES WORRELL
WINNING REGIONS OF PUSHDOWN PARITY GAMES: A SATURATION METHOD 384
MATTHEW HAGUE AND C.-H. LUKE ONG
IMAGE 3
TABLE OF CONTENTS XIII
CONCURRENT KLEENE ALGEBRA 399
C.A.R. TONY HOARE, BERNHARD MOELLER, GEORG STRATH, AND IAN WEHRMAN
CONCAVELY-PRICED PROBABILISTIC TIMED AUTOMATA 415
MARCIN JURDZINSKI, MARTA KWIATKOWSKA, GETHIN NORMAN, AND ASHUTOSH
TRIVEDI
COMPOSITIONAL CONTROL SYNTHESIS FOR PARTIALLY OBSERVABLE SYSTEMS 431
WOUTER KUIJPER AND JACO VAN DE POL
HOWE'S METHOD FOR CALCULI WITH PASSIVATION 448
SERGUEI LENGLET, ALAN SCHMITT, AND JEAN-BERNARD STEFANI
ON THE RELATIONSHIP BETWEEN 7R-CALCULUS AND FINITE PLACE/TRANSITION
PETRI NETS 463
ROLAND MEYER AND ROBERTO GORRIERI
MODELING RADIO NETWORKS 481
CALVIN NEWPORT AND NANCY LYNCH
TIME-BOUNDED VERIFICATION 496
JOEL OUAKNINE, ALEXANDER RABINOVICH, AND JAMES WORRELL
SECURE ENFORCEMENT FOR GLOBAL PROCESS SPECIFICATIONS 511
JEREMY PLANUL, RICARDO CORIN, AND CEDRIC FOURNET
ON CONVERGENCE OF CONCURRENT SYSTEMS UNDER REGULAR INTERACTIONS 527
PAVITHRA PRABHAKAR, SAYAN MITRA, AND MAHESH VISWANATHAN
COMPUTING STUTTERING SIMULATIONS 542
FRANCESCO RANZATO AND FRANCESCO TAPPARO
WEAK TIME PETRI NETS STRIKE BACK! 557
PIERRE-ALAIN REYNIER AND ARNAUD SANGNIER
A GENERAL TESTABILITY THEORY 572
ISMAEL RODRIGUEZ
COUNTEREXAMPLES IN PROBABILISTIC LTL MODEL CHECKING FOR MARKOV CHAINS
587
MATTHIAS SCHMALZ, DANIELE VARACCA, AND HAGEN VALZER
QUERY-BASED MODEL CHECKING OF AD HOC NETWORK PROTOCOLS 603 ANU SINGH,
C.R. RAMAKRISHNAN, AND SCOTT A. SMOLKA
STRICT DIVERGENCE FOR PROBABILISTIC TIMED AUTOMATA 620
JEREMY SPROSTON
AUTHOR INDEX 637 |
| any_adam_object | 1 |
| author_corporate | CONCUR Bologna |
| author_corporate_role | aut |
| author_facet | CONCUR Bologna |
| author_sort | CONCUR Bologna |
| building | Verbundindex |
| bvnumber | BV035690177 |
| 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 516f |
| ctrlnum | (OCoLC)435374404 (DE-599)DNB995654778 |
| dewey-full | 004.3522 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.3522 |
| dewey-search | 004.3522 |
| dewey-sort | 14.3522 |
| 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">BV035690177</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100915</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090824s2009 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N33,0019</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">995654778</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642040801</subfield><subfield code="c">PB. : EUR 84.53 (freier Pr.), sfr 123.00 (freier Pr.)</subfield><subfield code="9">978-3-642-04080-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642040801</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12734689</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)435374404</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB995654778</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</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">004.3522</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">CONCUR</subfield><subfield code="n">20</subfield><subfield code="d">2009</subfield><subfield code="c">Bologna</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)16019558-5</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">CONCUR 2009 - Concurrency Theory</subfield><subfield code="b">20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings</subfield><subfield code="c">Mario Bravetti ... (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">XIII, 638 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">5710</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nebenläufigkeit - Kongress - Bologna <2009></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">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">Bologna</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">Bravetti, Mario</subfield><subfield code="e">Sonstige</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">5710</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5710</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=017744263&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-017744263</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Bologna gnd-content |
| genre_facet | Konferenzschrift 2009 Bologna |
| id | DE-604.BV035690177 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:57Z |
| institution | BVB |
| institution_GND | (DE-588)16019558-5 |
| isbn | 9783642040801 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017744263 |
| oclc_num | 435374404 |
| 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 | XIII, 638 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | CONCUR 20 2009 Bologna Verfasser (DE-588)16019558-5 aut CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings Mario Bravetti ... (eds.) Berlin [u.a.] Springer 2009 XIII, 638 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 5710 Nebenläufigkeit - Kongress - Bologna <2009> Parallel processing (Electronic computers) Congresses Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Bologna gnd-content Nebenläufigkeit (DE-588)4115352-2 s DE-604 Bravetti, Mario Sonstige oth Lecture Notes in Computer Science 5710 (DE-604)BV000000607 5710 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017744263&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings Lecture Notes in Computer Science Nebenläufigkeit - Kongress - Bologna <2009> Parallel processing (Electronic computers) Congresses Nebenläufigkeit (DE-588)4115352-2 gnd |
| subject_GND | (DE-588)4115352-2 (DE-588)1071861417 |
| title | CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings |
| title_auth | CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings |
| title_exact_search | CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings |
| title_full | CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings Mario Bravetti ... (eds.) |
| title_fullStr | CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings Mario Bravetti ... (eds.) |
| title_full_unstemmed | CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings Mario Bravetti ... (eds.) |
| title_short | CONCUR 2009 - Concurrency Theory |
| title_sort | concur 2009 concurrency theory 20th international conference concur 2009 bologna italy september 1 4 2009 proceedings |
| title_sub | 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009, Proceedings |
| topic | Nebenläufigkeit - Kongress - Bologna <2009> Parallel processing (Electronic computers) Congresses Nebenläufigkeit (DE-588)4115352-2 gnd |
| topic_facet | Nebenläufigkeit - Kongress - Bologna <2009> Parallel processing (Electronic computers) Congresses Nebenläufigkeit Konferenzschrift 2009 Bologna |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017744263&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT concurbologna concur2009concurrencytheory20thinternationalconferenceconcur2009bolognaitalyseptember142009proceedings AT bravettimario concur2009concurrencytheory20thinternationalconferenceconcur2009bolognaitalyseptember142009proceedings |