LEADER 04946nam  22007095  450 
001 996465499803316
005 20200705221924.0
010   $a3-540-36576-1
024 7 $a10.1007/3-540-36576-1
035   $a(CKB)1000000000211950
035   $a(SSID)ssj0000323278
035   $a(PQKBManifestationID)11243646
035   $a(PQKBTitleCode)TC0000323278
035   $a(PQKBWorkID)10300113
035   $a(PQKB)10107195
035   $a(DE-He213)978-3-540-36576-1
035   $a(MiAaPQ)EBC3071932
035   $a(PPN)155167650
035   $a(EXLCZ)991000000000211950
100   $a20121227d2003      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFoundations of Software Science and Computational Structures$b[electronic resource] $e6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /$fedited by Andrew D. Gordon
205   $a1st ed. 2003.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003.
215   $a1 online resource (XII, 440 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2620
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-00897-7 
320   $aIncludes bibliographical references and index.
327   $aInvited Paper -- A Game Semantics for Generic Polymorphism -- Contributed Papers -- Categories of Containers -- Verification of Probabilistic Systems with Faulty Communication -- Generalized Iteration and Coiteration for Higher-Order Nested Datatypes -- Ambiguous Classes in the Games ?-Calculus Hierarchy -- Parameterized Verification by Probabilistic Abstraction -- Genericity and the ?-Calculus -- Model Checking Lossy Channels Systems Is Probably Decidable -- Verification of Cryptographic Protocols: Tagging Enforces Termination -- A Normalisation Result for Higher-Order Calculi with Explicit Substitutions -- When Ambients Cannot Be Opened -- Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time -- An Intrinsic Characterization of Approximate Probabilistic Bisimilarity -- Manipulating Trees with Hidden Labels -- The Converse of a Stochastic Relation -- Type Assignment for Intersections and Unions in Call-by-Value Languages -- Cones and Foci for Protocol Verification Revisited -- Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems -- The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard -- A Game Semantics of Linearly Used Continuations -- Counting and Equality Constraints for Multitree Automata -- Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete -- A Monadic Multi-stage Metalanguage -- Multi-level Meta-reasoning with Higher-Order Abstract Syntax -- Abstraction in Reasoning about Higraph-Based Systems -- Deriving Bisimulation Congruences: 2-Categories Vs Precategories -- On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the ?Calculus.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v2620
606   $aComputers
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
615  0$aComputers.
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615 14$aTheory of Computation.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aLogics and Meanings of Programs.
615 24$aSoftware Engineering.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aComputation by Abstract Devices.
676   $a005.1
702   $aGordon$b Andrew D$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aJoint European Conferences on Theory and Practice of Software, ETAPS$f(2003 :$eWarsaw, Poland),
906   $aBOOK
912   $a996465499803316
996   $aFoundations of Software Science and Computational Structures$9772755
997   $aUNISA