Verfügbarkeit: Formal techniques for distributed systems

Formal techniques for distributed systems: joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13 - 16, 2012 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2012
Schriftenreihe:	Lecture notes in computer science 7273
Schlagworte:	Formale Methode Verteiltes System Konferenzschrift > 2011 > Reykjavik Konferenzschrift > 2012 > Stockholm
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XII, 267 S. graph. Darst.
ISBN:	3642307922 9783642307928

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV040243978
003	DE-604
005	20120625
007	t
008	120611s2012 gw d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 12,N22 \|2 dnb
016	7		\|a 1022401270 \|2 DE-101
020			\|a 3642307922 \|9 3-642-30792-2
020			\|a 9783642307928 \|c Pb. : ca. EUR 64.20 (DE) (freier Pr.), ca. EUR 66.00 (AT) (freier Pr.), ca. sfr 80.00 (freier Pr.) \|9 978-3-642-30792-8
024	3		\|a 9783642307928
028	5	2	\|a Best.-Nr.: 86114180
035			\|a (OCoLC)796275635
035			\|a (DE-599)DNB1022401270
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-83 \|a DE-91G \|a DE-11
082	0		\|a 004.36 \|2 22/ger
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a 004 \|2 sdnb
245	1	0	\|a Formal techniques for distributed systems \|b joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13 - 16, 2012 ; proceedings \|c Holger Giese ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2012
300			\|a XII, 267 S. \|b 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 7273
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
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2012 \|z Stockholm \|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 Giese, Holger \|d 1970- \|e Sonstige \|0 (DE-588)173277950 \|4 oth
710	2		\|a FORTE \|n 32 \|d 2012 \|c Stockholm \|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 14 \|d 2012 \|c Stockholm \|j Sonstige \|0 (DE-588)102313408X \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-30793-5
830		0	\|a Lecture notes in computer science \|v 7273 \|w (DE-604)BV000000607 \|9 7273
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4040511&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=025100115&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025100115

Datensatz im Suchindex

_version_	1805146762746265600
adam_text	IMAGE 1 TABLE O F CONTENTS A REVERSIBLE ABSTRACT MACHINE AND ITS SPACE OVERHEAD 1 MICHAEL LIENHARDT, IVAN LANESE, CLAUDIO ANTARES MEZZINA, AND JEAN-BERNARD STEFANI A SMALL MODEL THEOREM FOR RECTANGULAR HYBRID AUTOMATA NETWORKS 18 TAYLOR T. JOHNSON AND SAYAN MITRA ANALYSIS OF MAY-HAPPEN-IN-PARALLEL IN CONCURRENT OBJECTS 35 ELVIRA ALBERT, ANTONIO E. FLORES-MONTOYA, AND SAMIR GENAIM BEHAVIOURAL EQUIVALENCES OVER MIGRATING PROCESSES WITH TIMERS 52 BOGDAN AMAN, GABRIEL CIOBANU, AND MACIEJ KOUTNY CHECKING SOUNDNESS OF BUSINESS PROCESSES COMPOSITIONALLY USING SYMBOLIC OBSERVATION GRAPHS 67 KAIS KLAI AND JORG DESEL BEYOND LASSOS: COMPLETE SMT-BASED BOUNDED MODEL CHECKING FOR TIMED AUTOMATA 84 ROLAND KINDERMANN. TOMMI JUNTTILA, AND ILKKA NIEMELA CONFORMANCE TESTING OF BOOLEAN PROGRAMS WITH MULTIPLE FAULTS 101 PAVITHRA PRABHAKAR AND MAHESH VISWANATHAN KNOWLEDGE-BASED DISTRIBUTED CONFLICT RESOLUTION FOR MULTIPARTY INTERACTIONS AND PRIORITIES 118 SADDEK BENSALEM, MARIUS BOZGA, JEAN QUILBEUF, AND JOSEPH SIFAKIS MODELLING PROBABILISTIC WIRELESS NETWORKS (EXTENDED ABSTRACT) 135 ANDREA CERONE AND MATTHEW HENNESSY NONINTERFERENCE VIA SYMBOLIC EXECUTION 152 DIMITER MILUSHEV, WIM BECK, AND DAVE CLARKE DEFINING DISTANCES FOR ALL PROCESS SEMANTICS 169 DAVID ROMERO HERNANDEZ AND DAVID DE FRUTOS ESCRIG SECURE MULTI-EXECUTION THROUGH STATIC PROGRAM TRANSFORMATION 186 GILLES BARTHE, JUAN MANUEL CRESPO, DOMINIQUE DEVRIESE, FRANK PIESSENS, AND EXEQUIEL RIVAS HTTP://D-NB.INFO/1022401270 IMAGE 2 XII TABLE OF CONTENTS SYNCHRONOUS INTERFACE THEORIES AND TIME TRIGGERED SCHEDULING 203 BENOIT DELAHAYE, ULI FAHRENBERG, THOMAS A. HENZINGER, AXEL LEGAY, AND DEJAN NICKOVIC TRANSDPOR: A NOVEL DYNAMIC PARTIAL-ORDER REDUCTION TECHNIQUE FOR TESTING ACTOR PROGRAMS 219 SAMIRA TASHAROFI. RAJESH K. KARMANI, STEVEN LAUTERBURG, AXEL LEGAY, DARKO MARINOV, AND GUL AGHA VERIFICATION OF AD HOC NETWORKS WITH NODE AND COMMUNICATION FAILURES 235 GIORGIO DELZANNO, ARNAUD SANGNIER, AND GIANLUIGI ZAVATTARO VERIFICATION OF TIMED ERLANG PROGRAMS USING MCERLANG 251 CLARA BENAC EARLE AND LARS-AKE FREDLURUL A U T H O R I N D E X 269
any_adam_object	1
author_GND	(DE-588)173277950
building	Verbundindex
bvnumber	BV040243978
classification_rvk	SS 4800
ctrlnum	(OCoLC)796275635 (DE-599)DNB1022401270
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">BV040243978</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120625</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120611s2012 gw d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N22</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1022401270</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642307922</subfield><subfield code="9">3-642-30792-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642307928</subfield><subfield code="c">Pb. : ca. EUR 64.20 (DE) (freier Pr.), ca. EUR 66.00 (AT) (freier Pr.), ca. sfr 80.00 (freier Pr.)</subfield><subfield code="9">978-3-642-30792-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642307928</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86114180</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)796275635</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1022401270</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-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</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">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</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 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13 - 16, 2012 ; proceedings</subfield><subfield code="c">Holger Giese ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 267 S.</subfield><subfield code="b">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">7273</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2012</subfield><subfield code="z">Stockholm</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">Giese, Holger</subfield><subfield code="d">1970-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)173277950</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">FORTE</subfield><subfield code="n">32</subfield><subfield code="d">2012</subfield><subfield code="c">Stockholm</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">14</subfield><subfield code="d">2012</subfield><subfield code="c">Stockholm</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)102313408X</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="z">978-3-642-30793-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7273</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7273</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=4040511&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=025100115&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-025100115</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2011 Reykjavik gnd-content (DE-588)1071861417 Konferenzschrift 2012 Stockholm gnd-content
genre_facet	Konferenzschrift 2011 Reykjavik Konferenzschrift 2012 Stockholm
id	DE-604.BV040243978
illustrated	Illustrated
indexdate	2024-07-21T00:35:02Z
institution	BVB
institution_GND	(DE-588)5103524-8 (DE-588)102313408X
isbn	3642307922 9783642307928
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025100115
oclc_num	796275635
open_access_boolean
owner	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
owner_facet	DE-706 DE-83 DE-91G DE-BY-TUM DE-11
physical	XII, 267 S. graph. Darst.
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Formal techniques for distributed systems joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13 - 16, 2012 ; proceedings Holger Giese ... (eds.) Berlin [u.a.] Springer 2012 XII, 267 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7273 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 (DE-588)1071861417 Konferenzschrift 2012 Stockholm gnd-content Verteiltes System (DE-588)4238872-7 s Formale Methode (DE-588)4333722-3 s DE-604 Giese, Holger 1970- Sonstige (DE-588)173277950 oth FORTE 32 2012 Stockholm Sonstige oth International Federation for Information Processing Working Group Architecture and Protocols for Computer Networks Sonstige (DE-588)5103524-8 oth FMOODS 14 2012 Stockholm Sonstige (DE-588)102313408X oth Erscheint auch als Online-Ausgabe 978-3-642-30793-5 Lecture notes in computer science 7273 (DE-604)BV000000607 7273 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4040511&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=025100115&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Formal techniques for distributed systems joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13 - 16, 2012 ; 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 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13 - 16, 2012 ; proceedings
title_auth	Formal techniques for distributed systems joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13 - 16, 2012 ; proceedings
title_exact_search	Formal techniques for distributed systems joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13 - 16, 2012 ; proceedings
title_full	Formal techniques for distributed systems joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13 - 16, 2012 ; proceedings Holger Giese ... (eds.)
title_fullStr	Formal techniques for distributed systems joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13 - 16, 2012 ; proceedings Holger Giese ... (eds.)
title_full_unstemmed	Formal techniques for distributed systems joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13 - 16, 2012 ; proceedings Holger Giese ... (eds.)
title_short	Formal techniques for distributed systems
title_sort	formal techniques for distributed systems joint 14th ifip wg 6 1 international conference fmoods 2012 and 32nd ifip wg 6 1 international conference forte 2012 stockholm sweden june 13 16 2012 proceedings
title_sub	joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13 - 16, 2012 ; 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 Konferenzschrift 2012 Stockholm
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4040511&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=025100115&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT gieseholger formaltechniquesfordistributedsystemsjoint14thifipwg61internationalconferencefmoods2012and32ndifipwg61internationalconferenceforte2012stockholmswedenjune13162012proceedings AT forte formaltechniquesfordistributedsystemsjoint14thifipwg61internationalconferencefmoods2012and32ndifipwg61internationalconferenceforte2012stockholmswedenjune13162012proceedings AT internationalfederationforinformationprocessingworkinggrouparchitectureandprotocolsforcomputernetworks formaltechniquesfordistributedsystemsjoint14thifipwg61internationalconferencefmoods2012and32ndifipwg61internationalconferenceforte2012stockholmswedenjune13162012proceedings AT fmoodsstockholm formaltechniquesfordistributedsystemsjoint14thifipwg61internationalconferencefmoods2012and32ndifipwg61internationalconferenceforte2012stockholmswedenjune13162012proceedings

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