Conferences in DBLP
Samson Abramsky Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories. [Citation Graph (0, 0)][DBLP ] Conf ] Bartek Klin , Vladimiro Sassone , Pawel Sobocinski Labels from Reductions: Towards a General Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Gordon D. Plotkin Adequacy for Algebraic Effects with State. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Aceto , Wan Fokkink , Anna Ingólfsdóttir , Sumit Nain Bisimilarity Is Not Finitely Based over BPA with Interrupt. [Citation Graph (0, 0)][DBLP ] Conf ] Jirí Adámek Algebra 'cap' Coalgebra = Presheaves. [Citation Graph (0, 0)][DBLP ] Conf ] Jan A. Bergstra , C. A. Middelburg Strong Splitting Bisimulation Equivalence. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Bruni , Ivan Lanese , Ugo Montanari Complete Axioms for Stateless Connectors. [Citation Graph (0, 0)][DBLP ] Conf ] Federico De Marchi On the Semantics of Coinductive Types in Martin-Löf Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Ernst-Erich Doberkat Look: Simple Stochastic Relations Are Just, Well, Simple. [Citation Graph (0, 0)][DBLP ] Conf ] Gian Luigi Ferrari , Ugo Montanari , Emilio Tuosto , Björn Victor , Kidane Yemane Modelling Fusion Calculus using HD-Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony C. J. Fox An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL. [Citation Graph (0, 0)][DBLP ] Conf ] Clemens Grabmayer Using Proofs by Coinduction to Find "Traditional" Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] H. Peter Gumm From T -Coalgebras to Filter Structures and Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ichiro Hasuo , Bart Jacobs Context-Free Languages via Coalgebraic Trace Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Hausmann , Till Mossakowski , Lutz Schröder Towards a Coalgebraic Semantics of the Ambient Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Bartek Klin The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Clemens Kupke , Alexander Kurz , Dirk Pattinson Ultrafilter Extensions for Coalgebras. [Citation Graph (0, 0)][DBLP ] Conf ] John G. Mersch Equational Logic of Recursive Program Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Milius , Lawrence S. Moss The Category Theoretic Solution of Recursive Program Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel Palomino , José Meseguer , Narciso Martí-Oliet A Categorical Approach to Simulations. [Citation Graph (0, 0)][DBLP ] Conf ] Andrei Popescu , Grigore Rosu Behavioral Extensions of Institutions. [Citation Graph (0, 0)][DBLP ] Conf ] John Power Discrete Lawvere Theories. [Citation Graph (0, 0)][DBLP ] Conf ] César Sánchez , Henny B. Sipma , Matteo Slanina , Zohar Manna Final Semantics for Event-Pattern Reactive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Prasanna Thati , José Meseguer Complete Symbolic Reachability Analysis Using Back-and-Forth Narrowing. [Citation Graph (0, 0)][DBLP ] Conf ] Ignacio D. Viglizzo Final Sequences and Final Coalgebras for Measurable Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Michal Walicki Bireachability and Final Multialgebras. [Citation Graph (0, 0)][DBLP ] Conf ] Dennis Walter , Lutz Schröder , Till Mossakowski Parametrized Exceptions. [Citation Graph (0, 0)][DBLP ] Conf ] Artur Zawlocki , Grzegorz Marczynski , Piotr Kosiuczenko Property Preserving Redesign of Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] 