Mathematical Structures in Computer Science, Volume 13
Volume 13, Number 1, 2003
Pawel Urzyczyn: A Simple Proof of the Undecidability of Strong Normalisation. 5-13- Daniel J. Dougherty, Pierre Lescanne: Reductions, Intersection Types, and Explicit Substitutions. 55-85
- Anindya Banerjee, Thomas P. Jensen: Modular Control-Flow Analysis with Rank 2 Intersection Types. 87-124
- Christian Mossin: Exact Flow Analysis. 125-156
- Ferruccio Damiani: A Conjunctive Type System for Useless-Code Elimination. 157-197
Volume 13, Number 2, 2003
- Steven Awodey, Jesse Hughes: Modal Operators and the Formal Dual of Birkhoff's Completeness Theorem. 233-258
- Falk Bartels: Generalised Coinduction. 321-348
Volume 13, Number 3, 2003
- Peter Hines: A Categorical Framework For Finite State Machines. 451-480
Volume 13, Number 4, 2003
- Samson Abramsky: Sequentiality vs. Concurrency In Games And Logic. 531-565
- Jirí Srba: Complexity Of Weak Bisimilarity And Regularity For Bpa And Bpp. 567-587
- Jos C. M. Baeten: Embedding Untimed Into Timed Process Algebra: The Case For Explicit Termination. 589-618
- Flavio Corradini, Dino Di Cola: The Expressive Power Of Urgent, Lazy And Busy-Waiting Actions In Timed Processes. 619-656
- Luca Aceto, Giuseppe Longo, Björn Victor: Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation. 481-484
- Vaughan R. Pratt: Transition And Cancellation In Concurrency And Branching Time. 485-529
Volume 13, Number 5, 2003
- Catuscia Palamidessi: Comparing The Expressive Power Of The Synchronous And Asynchronous Pi-Calculi. 685-719
- Philippe Matherat, Marc-Thierry Jaekel: Concurrent Computing Machines And Physical Space-Time. 771-798
- Pascal Zimmer: On The Expressiveness Of Pure Safe Ambients. 721-770
Volume 13, Number 6, 2003
- Lorenzo Tortora de Falco: Obsessional Experiments For Linear Logic Proof-Nets. 799-855
- Dominique Duval: Diagrammatic Specifications. 857-890
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team