Verfügbarkeit: CONCUR 2011 - Concurrency theory

CONCUR 2011 - Concurrency theory: 22nd international conference, CONCUR 2011, Aachen, Germany, September 5 - 10, 2011 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	CONCUR Aachen (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2011
Schriftenreihe:	Lecture notes in computer science 6901
Schlagworte:	Nebenläufigkeit Konferenzschrift > 2011 > Aachen
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XIV, 560 S. Ill., graph. Darst.
ISBN:	9783642232169 3642232167

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV039562226
003	DE-604
005	20111115
007	t\|
008	110905s2011 xx ad\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 11,N29 \|2 dnb
016	7		\|a 101351131X \|2 DE-101
020			\|a 9783642232169 \|c Pb. : EUR 74.90 (DE) (freier Pr.), sfr 100.50 (freier Pr.) \|9 978-3-642-23216-9
020			\|a 3642232167 \|9 3-642-23216-7
024	3		\|a 9783642232169
028	5	2	\|a Best.-Nr.: 80084330
035			\|a (OCoLC)751030557
035			\|a (DE-599)DNB101351131X
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-11 \|a DE-91G \|a DE-83
082	0		\|a 004.35 \|2 22/ger
084			\|a DAT 516f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a 510 \|2 sdnb
111	2		\|a CONCUR \|n 22 \|d 2011 \|c Aachen \|j Verfasser \|0 (DE-588)16180393-3 \|4 aut
245	1	0	\|a CONCUR 2011 - Concurrency theory \|b 22nd international conference, CONCUR 2011, Aachen, Germany, September 5 - 10, 2011 ; proceedings \|c Joost-Pieter Katoen ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2011
300			\|a XIV, 560 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 6901
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 2011 \|z Aachen \|2 gnd-content
689	0	0	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|D s
689	0		\|5 DE-604
700	1		\|a Katoen, Joost-Pieter \|d 1964- \|e Sonstige \|0 (DE-588)12099996X \|4 oth
830		0	\|a Lecture notes in computer science \|v 6901 \|w (DE-604)BV000000607 \|9 6901
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3853543&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=024413863&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-024413863

Datensatz im Suchindex

_version_	1820875341464338432
adam_text	IMAGE 1 TABLE OF CONTENTS INVITED TALKS CARRYING PROBABILITIES TO THE INFINITE WORLD 1 PAROSH AZIZ ABDULLA GENERALIZED UNIVERSALITY 17 ELI GAFNI AND RACHID GUERRAOUI CAUSAL NETS: A MODELING LANGUAGE TAILORED TOWARDS PROCESS DISCOVERY 28 WIL VAN DER AALST, ARYA ADRIANSYAH, AND BOUDEWIJN VAN DONGEN ON CAUSAL SEMANTICS OF PETRI NETS (EXTENDED ABSTRACT) 43 ROB J. VAN GLABBEEK, URSULA GOLTZ, AND JENS-WOLFHARD SCHICKE REAL-TIME SYSTEMS ON EXPRESSIVE POWERS OF TIMED LOGICS: COMPARING BOUNDEDNESS, NON-PUNCTUALITY, AND DETERMINISTIC FREEZING 60 PARITOSH K. PANDYA AND SIMONI S. SHAH TIMED AUTOMATA CAN ALWAYS BE MADE IMPLEMENTABLE 76 PATRICIA BOUYER, KIM G. LARSEN, NICOLAS MARKEY, OCAN SANKUR, AND CLAUS THRANE COARSE ABSTRACTIONS MAKE ZENO BEHAVIOURS DIFFICULT TO DETECT 92 FREDERIC HERBRETEAU AND B. SRIVATHSAN PROBABILISTIC SYSTEMS BISIMULATIONS MEET P C TL EQUIVALENCES FOR PROBABILISTIC A U T O M A TA . . . 108 LEI SONG, LIJUN ZHANG, AND JENS CHR. GODSKESEN A SPECTRUM OF BEHAVIORAL RELATIONS OVER LTSS ON PROBABILITY DISTRIBUTIONS 124 SILVIA CRAFA AND FRANCESCO RANZATO FIXED-DELAY EVENTS IN GENERALIZED SEMI-MARKOV PROCESSES REVISITED . . 140 TOMAS BRAZDIL, JAN KRCAL, JAN KFETINSKY, AND VOJTECH REHAK BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/101351131X DIGITALISIERT DURCH IMAGE 2 XII TABLE OF CONTENTS SEMANTIC ANALYSIS OF GOSSIP PROTOCOLS FOR WIRELESS SENSOR NETWORKS . . . 156 RUGGERO LANOTTE AND MASSIMO MERRO AUTOMATA AN AUTOMATON OVER DATA WORDS THAT CAPTURES EMSO LOGIC 171 BENEDIKT BOLLIG ADVANCED RAMSEY-BASED BUECHI AUTOMATA INCLUSION TESTING 187 PAROSH AZIZ ABDULLA, YU-FANG CHEN, LORENZO CLEMENTE, LUKAS HOLIK, CHIH-DUO HONG, RICHARD MAYR, AND TOMAS VOJNAR REACHABILITY OF MULTISTACK PUSHDOWN SYSTEMS WITH SCOPE-BOUNDED MATCHING RELATIONS 203 SALVATORE LA TORRE AND MARGHERITA NAPOLI SEPARATION LOGIC GRANULARITY AND CONCURRENT SEPARATION LOGIC 219 JONATHAN HAYMAN TRACTABLE REASONING IN A FRAGMENT OF SEPARATION LOGIC 235 BYRON COOK, CHRISTOPH HAASE, JOEL OUAKNINE, MATTHEW PARKINSON, AND JAMES WORRELL ON LOCALITY AND THE EXCHANGE LAW FOR CONCURRENT PROCESSES 250 C.A.R. HOARE, AKBAR HUSSAIN, BERNHARD MOELLER, PETER W. O'HEARN, RASMUS LERCHEDAHL PETERSEN, AND GEORG STRUTH *K- CALCULUS TYPED ^-CALCULI 265 HANS HUETTEL FULL ABSTRACTION IN A SUBTYPED PI-CALCULUS WITH LINEAR TYPES 280 ROMAIN DEMANGEON AND KOHEI HONDA CONTROLLING REVERSIBILITY IN HIGHER-ORDER PI 297 IVAN LANESE, CLAUDIO ANTARES MEZZINA, ALAN SCHMITT, AND JEAN-BERNARD STEFANI PETRI NETS A CONNECTOR ALGEBRA FOR P/T NETS INTERACTIONS 312 ROBERTO BRUNI, HERNAN MELGRATTI, AND UGO MONTANARI VECTOR ADDITION SYSTEM REVERSIBLE REACHABILITY PROBLEM 327 JEROME LEROUX IMAGE 3 TABLE OF CONTENTS XIII EFFICIENT CONTEXTUAL UNFOLDING 342 CESAR RODRIGUEZ, STEFAN SCHWOON, AND PAOLO BALDAN PARAMETERIZED COMPLEXITY RESULTS FOR 1-SAFE PETRI NETS 358 M. PRAVEEN AND KAMAL LODAYA PROCESS ALGEBRA AND MODELING THE DECIDABILITY OF THE REACHABILITY PROBLEM FOR CCS ! 373 CHAODONG HE STATIC LIVELOCK ANALYSIS IN CSP 389 JOEL OUAKNINE, HRISTINA PALIKAREVA, A.W. ROSCOE, AND JAMES WORRELL DYNAMIC REACTIVE MODULES 404 JASMIN FISHER, THOMAS A. HENZINGER, DEJAN NICKOVIC, NIR PITERMAN, ANMOL V. SINGH, AND MOSHE Y. VARDI VERIFICATION WEAK KRIPKE STRUCTURES AND LTL 419 LARS KUHTZ AND BERND FINKBEINER EFFICIENT CTL MODEL-CHECKING FOR PUSHDOWN SYSTEMS 434 FU SONG AND TAYSSIR TOUILI REASONING ABOUT THREADS WITH BOUNDED LOCK CHAINS 450 VINEET KAHLON GAMES A TEMPORAL LOGIC FOR THE INTERACTION OF STRATEGIES 466 FARN WANG, CHUNG-HAO HUANG, AND FANG YU THE COMPLEXITY OF NASH EQUILIBRIA IN LIMIT-AVERAGE GAMES 482 MICHAEL UMMELS AND DOMINIK WOJTCZAK TWO VARIABLE VS. LINEAR TEMPORAL LOGIC IN MODEL CHECKING AND GAMES 497 MICHAEL BENEDIKT, RASTISLAV LENHARDT, AND JAMES WORRELL A COMPOSITIONAL FRAMEWORK FOR CONTROLLER SYNTHESIS 512 CHRISTEL BAIER, JOACHIM KLEIN, AND SASCHA KLUEPPELHOLZ IMAGE 4 XIV TABLE OF CONTENTS BISIMULATION DECIDABILITY OF BRANCHING BISIMULATION ON NORMED COMMUTATIVE CONTEXT-FREE PROCESSES 528 WOJCIECH CZERWINSKI, PIOTR HOFMAN, AND SLAWOMIR LASOTA REFINING THE PROCESS REWRITE SYSTEMS HIERARCHY VIA GROUND TREE REWRITE SYSTEMS 543 STEFAN GB'LLER AND ANTHONY WIDJAJA LIN AUTHOR INDEX 559
any_adam_object	1
author_GND	(DE-588)12099996X
author_corporate	CONCUR Aachen
author_corporate_role	aut
author_facet	CONCUR Aachen
author_sort	CONCUR Aachen
building	Verbundindex
bvnumber	BV039562226
classification_rvk	SS 4800
classification_tum	DAT 516f
ctrlnum	(OCoLC)751030557 (DE-599)DNB101351131X
dewey-full	004.35
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.35
dewey-search	004.35
dewey-sort	14.35
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Mathematik
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">BV039562226</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111115</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">110905s2011 xx ad\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N29</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">101351131X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642232169</subfield><subfield code="c">Pb. : EUR 74.90 (DE) (freier Pr.), sfr 100.50 (freier Pr.)</subfield><subfield code="9">978-3-642-23216-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642232167</subfield><subfield code="9">3-642-23216-7</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642232169</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80084330</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)751030557</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB101351131X</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-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.35</subfield><subfield code="2">22/ger</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="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">CONCUR</subfield><subfield code="n">22</subfield><subfield code="d">2011</subfield><subfield code="c">Aachen</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)16180393-3</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">CONCUR 2011 - Concurrency theory</subfield><subfield code="b">22nd international conference, CONCUR 2011, Aachen, Germany, September 5 - 10, 2011 ; proceedings</subfield><subfield code="c">Joost-Pieter Katoen ... (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, 560 S.</subfield><subfield code="b">Ill., 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">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">6901</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">2011</subfield><subfield code="z">Aachen</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">Katoen, Joost-Pieter</subfield><subfield code="d">1964-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)12099996X</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">6901</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6901</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=3853543&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=024413863&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-024413863</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Aachen gnd-content
genre_facet	Konferenzschrift 2011 Aachen
id	DE-604.BV039562226
illustrated	Illustrated
indexdate	2025-01-10T15:14:04Z
institution	BVB
institution_GND	(DE-588)16180393-3
isbn	9783642232169 3642232167
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024413863
oclc_num	751030557
open_access_boolean
owner	DE-706 DE-11 DE-91G DE-BY-TUM DE-83
owner_facet	DE-706 DE-11 DE-91G DE-BY-TUM DE-83
physical	XIV, 560 S. Ill., graph. Darst.
publishDate	2011
publishDateSearch	2011
publishDateSort	2011
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	CONCUR 22 2011 Aachen Verfasser (DE-588)16180393-3 aut CONCUR 2011 - Concurrency theory 22nd international conference, CONCUR 2011, Aachen, Germany, September 5 - 10, 2011 ; proceedings Joost-Pieter Katoen ... (eds.) Berlin [u.a.] Springer 2011 XIV, 560 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6901 Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Aachen gnd-content Nebenläufigkeit (DE-588)4115352-2 s DE-604 Katoen, Joost-Pieter 1964- Sonstige (DE-588)12099996X oth Lecture notes in computer science 6901 (DE-604)BV000000607 6901 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3853543&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=024413863&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	CONCUR 2011 - Concurrency theory 22nd international conference, CONCUR 2011, Aachen, Germany, September 5 - 10, 2011 ; proceedings Lecture notes in computer science Nebenläufigkeit (DE-588)4115352-2 gnd
subject_GND	(DE-588)4115352-2 (DE-588)1071861417
title	CONCUR 2011 - Concurrency theory 22nd international conference, CONCUR 2011, Aachen, Germany, September 5 - 10, 2011 ; proceedings
title_auth	CONCUR 2011 - Concurrency theory 22nd international conference, CONCUR 2011, Aachen, Germany, September 5 - 10, 2011 ; proceedings
title_exact_search	CONCUR 2011 - Concurrency theory 22nd international conference, CONCUR 2011, Aachen, Germany, September 5 - 10, 2011 ; proceedings
title_full	CONCUR 2011 - Concurrency theory 22nd international conference, CONCUR 2011, Aachen, Germany, September 5 - 10, 2011 ; proceedings Joost-Pieter Katoen ... (eds.)
title_fullStr	CONCUR 2011 - Concurrency theory 22nd international conference, CONCUR 2011, Aachen, Germany, September 5 - 10, 2011 ; proceedings Joost-Pieter Katoen ... (eds.)
title_full_unstemmed	CONCUR 2011 - Concurrency theory 22nd international conference, CONCUR 2011, Aachen, Germany, September 5 - 10, 2011 ; proceedings Joost-Pieter Katoen ... (eds.)
title_short	CONCUR 2011 - Concurrency theory
title_sort	concur 2011 concurrency theory 22nd international conference concur 2011 aachen germany september 5 10 2011 proceedings
title_sub	22nd international conference, CONCUR 2011, Aachen, Germany, September 5 - 10, 2011 ; proceedings
topic	Nebenläufigkeit (DE-588)4115352-2 gnd
topic_facet	Nebenläufigkeit Konferenzschrift 2011 Aachen
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3853543&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=024413863&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT concuraachen concur2011concurrencytheory22ndinternationalconferenceconcur2011aachengermanyseptember5102011proceedings AT katoenjoostpieter concur2011concurrencytheory22ndinternationalconferenceconcur2011aachengermanyseptember5102011proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge