{ "item_title" : "Foundations of Software Science and Computation Structures", "item_author" : [" Stefan Kiefer", "Christine Tasson "], "item_description" : "Constructing a universe for the setoid model.- Nominal Equational Problems.- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy.- Fixpoint Theory - Upside Down.- Most of' leads to undecidability: Failure of adding frequencies to LTL.- Combining Semilattices and Semimodules.- One-way Resynchronizability of Word Transducers.- Fair Refinement for Asynchronous Session Types.- Running Time Analysis of Broadcast Consensus Protocols.- Leafy automata for higher-order concurrency.- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic.- Generalized Bounded Linear Logic and its Categorical Semantics.- Focused Proof-search in the Logic of Bunched Implications.- Interpolation and Amalgamation for Arrays with MaxDi.- Adjoint Reactive GUI Programming.- On the Expressiveness of B chi Arithmetic.- Parametricity for Primitive Nested Types.- The Spirit of Node Replication.- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages.- Certifying Inexpressibility.- A General Semantic Construction of Dependent Re nement Type Systems, Categorically.- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP.- Nondeterministic Syntactic Complexity.- A String Diagrammatic Axiomatisation of Finite-State Automata.- Work-sensitive Dynamic Complexity of Formal Languages.- Learning Pomset Automata.- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford.- A Quantified Coalgebraic van Benthem Theorem.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/3/03/071/994/3030719944_b.jpg", "price_data" : { "retail_price" : "49.99", "online_price" : "49.99", "our_price" : "49.99", "club_price" : "49.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details