Electronic Notes in Theoretical Computer Science, Volume 172
Volume 172, April 2007
- Martín Abadi: Access Control in a Core Calculus of Dependency. 5-31
- Samson Abramsky: Event Domains, Stable Functions and Proof-Nets. 33-67
- Richard Blute, Prakash Panangaden, Dorette Pronk: Conformal Field Theory as a Nuclear Functor. 101-132
- Gian Luca Cattani, Marcelo P. Fiore: The Bicategory-Theoretic Solution of Recursive Domain Equations. 203-222
- Pierre-Louis Curien: Definability and Full Abstraction. 301-310
- Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang: Remarks on Testing Probabilistic Processes. 359-397
- Martin Hyland, John Power: The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads. 437-458
- Michael W. Mislove, Dusko Pavlovic, James Worrell: Labelled Markov Processes as Generalised Stochastic Relations. 459-478
- Eugenio Moggi: Structuring Operational Semantics: Simplification and Computation. 479-497
- David J. Pym, Chris M. N. Tofts: Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic. 545-587
- Colin Stirling: Model-Checking Games for Typed lambda-Calculi. 589-609
- Glynn Winskel: Event Structures with Symmetry. 611-652
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