LEADER 04098nam  22007935  450 
001 996466054703316
005 20230406010209.0
010   $a3-642-22944-1
024 7 $a10.1007/978-3-642-22944-2
035   $a(CKB)3400000000024013
035   $a(SSID)ssj0000609126
035   $a(PQKBManifestationID)11423332
035   $a(PQKBTitleCode)TC0000609126
035   $a(PQKBWorkID)10617691
035   $a(PQKB)11317551
035   $a(DE-He213)978-3-642-22944-2
035   $a(MiAaPQ)EBC6296551
035   $a(MiAaPQ)EBC5585156
035   $a(Au-PeEL)EBL5585156
035   $a(OCoLC)748418010
035   $a(PPN)15631486X
035   $a(EXLCZ)993400000000024013
100   $a20110825d2011      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAlgebra and Coalgebra in Computer Science$b[electronic resource] $e4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011, Proceedings /$fedited by Andrea Corradini, Bartek Klin, Corina Cîrstea
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XI, 420 pages) : 118 illustrations., 6 illustrations in color
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6859
300   $aIncludes Index.
311   $a3-642-22943-3 
327   $aOn the statistical thermodynamics of reversible communicating processes / Giorgio Bacci, Vincent Danos, Ohad Kammar -- Solving fixed-point equations by derivation tree analysis / Javier Esparza, Michael Luttenberger.
330   $aThis book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submissions. The papers report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. They cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6859
606   $aComputer science
606   $aMachine theory
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aDiscrete Mathematics in Computer Science
606   $aSymbolic and Algebraic Manipulation
606   $aModels of Computation
606   $aTheory of Computation
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aSymbolic and Algebraic Manipulation.
615 24$aModels of Computation.
615 24$aTheory of Computation.
676   $a004.0151
702   $aCorradini$b Andrea$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKlin$b Bartek$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCîrstea$b Corina$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466054703316
996   $aAlgebra and Coalgebra in Computer Science$9772274
997   $aUNISA