LEADER 03872oam 2200613 450 001 996465892903316 005 20210717140805.0 010 $a3-540-49213-5 024 7 $a10.1007/3-540-49213-5 035 $a(CKB)1000000000211035 035 $a(SSID)ssj0000322003 035 $a(PQKBManifestationID)11227105 035 $a(PQKBTitleCode)TC0000322003 035 $a(PQKBWorkID)10280103 035 $a(PQKB)11733575 035 $a(DE-He213)978-3-540-49213-9 035 $a(MiAaPQ)EBC3072915 035 $a(MiAaPQ)EBC6485765 035 $a(PPN)155206478 035 $a(EXLCZ)991000000000211035 100 $a20210717d1998 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aCompositionality $ethe significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures /$fWillem-Paul de Roever, Hans Langmaack, Amir Pnueli (editors) 205 $a1st ed. 1998. 210 1$aBerlin :$cSpringer,$d[1998] 210 4$d©1998 215 $a1 online resource (VIII, 647 p. 16 illus.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v1536 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-65493-3 320 $aIncludes bibliographical references and index. 327 $aThe Need for Compositional Proof Systems: A Survey -- Alternating-time Temporal Logic -- Compositionality in dataflow synchronous languages: specification & code generation -- Compositional Reasoning in Model Checking -- Modeling Urgency in Timed Systems -- Compositional Refinement of Interactive Systems Modelled by Relations -- Toward Parametric Verification of Open Distributed Systems -- A Compositional Real-time Semantics of STATEMATE Designs -- Deductive Verification of Modular Systems -- Compositional Verification of Real-Time Applications -- Compositional Proofs for Concurrent Objects -- An overview of compositional translations -- Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness -- Modular Model Checking -- Composition: A Way to Make Proofs Harder -- Compositionality Criteria for Defining Mixed-Styles Synchronous Languages -- Compositional Reasoning using Interval Temporal Logic and Tempura -- Decomposing Real-Time Specifications -- On the Combination of Synchronous Languages -- Compositional Verification of Randomized Distributed Algorithms -- Lazy Compositional Verication -- Compositional Reasoning Using the Assumption-Commitment Paradigm -- An Adequate First Order Interval Logic -- Compositional Transformational Design for Concurrent Programs -- Compositional proof methods for concurrency: A semantic approach. 330 $aThis book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses. 410 0$aLecture notes in computer science ;$v1536. 606 $aParallel processing (Electronic computers)$vCongresses 606 $aAutomatic theorem proving$vCongresses 615 0$aParallel processing (Electronic computers) 615 0$aAutomatic theorem proving 676 $a004.35 702 $aLangmaack$b Hans 702 $aPnueli$b Amir$f1941-2009, 702 $aRoever$b W.-P. de$f1943- 712 12$aCOMPOS '97 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996465892903316 996 $aCompositionality$92238288 997 $aUNISA LEADER 01075nam0 22002531i 450 001 UON00097480 005 20231205102539.275 100 $a20020107d1976 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆLa ‰Grotta dei Piccioni di Bolognano nel quadro delle culture dal neolitico all'eta' del Bronzo in Abruzzo$fG. Cremonesi 210 $aPisa$cGiardini$d1976 215 $a349 p.$ctav.$d24 cm 410 1$1001UON00088147$12001 $aCollana di studi paletnologici$v2 620 $aIT$dPisa$3UONL000055 700 1$aCREMONESI$bGiuliano$3UONV059810$0209196 712 $aGiardini$3UONV257197$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00097480 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI O 1 090 $eSI MC 14833 5 996 $aGrotta dei Piccioni di Bolognano nel quadro delle culture dal neolitico all'età del bronzo in Abruzzo$9284340 997 $aUNIOR