Electronic Notes in Theoretical Computer Science, Volume 286
Volume 286, September 2012
- Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden: Dedication. 3
- Mike Behrisch, Sebastian Kerkhoff, John Power: Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? 5-16
- Dexter Kozen: New. 17-42
- Ingo Battenfeld: Observationally-induced Effects in Cartesian Closed Categories. 43-56
- Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva: Final Semantics for Decorated Traces. 73-86
- Stephen Brookes: Syntactic Control of Interference and Concurrent Separation Logic. 87-102
- Robin Cockett, Joaquín Díaz-Boïls, Jonathan Gallagher, Pavel Hrubes: Timed Sets, Functional Complexity, and Computability. 117-137
- Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut: Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators. 157-172
- Naohiko Hoshino: A Representation Theorem for Unique Decomposition Categories. 213-227
- Wolfgang Jeltsch: Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming. 229-242
- Oleksandr Manzyuk: A Simply Typed λ-Calculus of Forward Automatic Differentiation. 257-272
- Dan Teodosiu: A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources. 307-321
- Toby Wilkinson: A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation. 323-336
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team