You have Guest access.
Log In
Naoki Kobayashi and Benjamin C. Pierce
Front matter
1-37
A Spatial Logic for Concurrency (Part I)
38-63
Boxed Ambients
64-81
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation
82-94
Formal Eavesdropping and Its Computational Interpretation
95-126
Resource-Passing Concurrent Programming
127-144
Solo Diagrams
145-164
Observational Equivalence for Synchronized Graph Rewriting with Mobility
165-182
Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness
183-200
Termination Proofs and Complexity Certification
201-218
A Renee Equation for Algorithmic Complexity
219-242
Nominal Logic: A First Order Theory of Names and Binding
243-262
A Logic Programming Language Based on Binding Algebras
263-282
Proof-Search and Countermodel Generation in Propositional BI Logic Extended Abstract
283-297
Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders
298-315
Modelisation of Timed Automata in Coq
316-339
Model-Checking LTL with Regular Valuations for Pushdown Systems
340-359
What Will Be Eventually True of Polynomial Hybrid Automata?
360-384
Non-structural Subtype Entailment in Automata Theory
385-399
Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems
400-419
Weakest Congruence Results Concerning “Any-Lock”
420-447
Design and Correctness of Program Transformations Based on Control-Flow Analysis
448-458
Infinite Intersection and Union Types for the Lazy Lambda Calculus
459-467
Strong Normalization of Second Order Symmetric Lambda-mu Calculus
468-491
The Girard-Reynolds Isomorphism
492-513
Lightweight Analysis of Object Interactions
514-534
Typing Assembly Programs with Explicit Forwarding
535-559
The UDP Calculus: Rigorous Semantics for Real Networking
560
Unison: A File Synchronizer and Its Specification
Back matter
Luís Caires and Luca Cardelli
Michele Bugliesi, Giuseppe Castagna and Silvia Crafa
Daisuke Hoshina, Eijiro Sumii and Akinori Yonezawa
Martín Abadi and Jan Jürjens
Kazunori Ueda
Cosimo Laneve, Joachim Parrow and Björn Victor
Barbara König and Ugo Montanari
Hiroshi Nakano
Daniel Leivant
Keye Martin
Andrew M. Pitts
Makoto Hamana
Didier Galmiche and Daniel Méry
Mizuhito Ogawa
Christine Paulin-Mohring
Javier Esparza, Antonín Kučera and Stefan Schwoon
Martin Fränzle
Joachim Niehren and Tim Priesnitz
Ph. Schnoebelen
Antti Puhakka
Anindya Banerjee, Nevin Heintze and Jon G. Riecke
Marcello M. Bonsangue and Joost N. Kok
Yoriyuki Yamagata
Philip Wadler
Daniel Jackson and Alan Fekete
Lennart Beringer
Andrei Serjantov, Peter Sewell and Keith Wansbrough
Benjamin C. Pierce and Jérôme Vouillon
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info