Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	August 2007
Genre:	EDV / Informatik
	C / Computer architecture & logic design / Computer logic / Computer programming / software engineering / computer science / Computer Science Logic and Foundations of Programming / Computer science—Mathematics / Computers / Formal Languages and Automata Theory / Logics and Meanings of Programs / Mathematical logic / Mathematical Logic and Formal Languages / Mathematical theory of computation / Mathematik für Informatiker / Maths for computer scientists / Software Engineering / Symbolic and Algebraic Manipulation / Theory of Computation mehr...
ISBN:	9783540738572
EAN-Code:	9783540738572
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	#4624 - Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	735 gr
Seiten:	463
Illustration:	XI, 463 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Invited Talks.- Regular and Algebraic Words and Ordinals.- Logical Semantics of Types for Concurrency.- Deriving Bisimulation Congruences with Borrowed Contexts.- Symmetry and Concurrency.- Contributed Papers.- Ready to Preorder: Get Your BCCSP Axiomatization for Free!.- Impossibility Results for the Equational Theory of Timed CCS.- Conceptual Data Modeling with Constraints in Maude.- Datatypes in Memory.- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.- Free Modal Algebras: A Coalgebraic Perspective.- Coalgebraic Epistemic Update Without Change of Model.- The Maude Formal Tool Environment.- Bifinite Chu Spaces.- Structured Co-spans: An Algebra of Interaction Protocols.- Graphical Encoding of a Spatial Logic for the ?-Calculus.- Higher Dimensional Trees, Algebraically.- A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines.- Parametric (Co)Iteration vs. Primitive Direcursion.- Bisimulation for Neighbourhood Structures.- Algebraic Models of Simultaneous Multithreaded and Multi-core Processors.- Quasitoposes, Quasiadhesive Categories and Artin Glueing.- Applications of Metric Coinduction.- The Goldblatt-Thomason Theorem for Coalgebras.- Specification-Based Testing for CoCasl's Modal Specifications.- CIRC: A Circular Coinductive Prover.- Observing Distributed Computation. A Dynamic-Epistemic Approach.- Nabla Algebras and Chu Spaces.- An Institutional Version of Gödel's Completeness Theorem.- Coalgebraic Foundations of Linear Systems.- Bootstrapping Types and Cotypes in HasCASL.