9. MPC 2010: Québec City, Canada

Invited Talks

• Roland Carl Backhouse, Wei Chen, João F. Ferreira:
  The Algorithmics of Solitaire-Like Games. 1-18
  
• Catuscia Palamidessi:
  Compositionality of Secure Information Flow. 19
  
• Jane Hillston:
  Process Algebras for Collective Dynamics. 20-21
  

Contributed Talks

• Rudolf Berghammer, Georg Struth:
  On Automated Program Construction and Verification. 22-41
  
• Eerke A. Boiten, Dan Grundy:
  The Logic of Large Enough. 42-57
  
• Kasper Brink, Stefan Holdermans, Andres Löh:
  Dependently Typed Grammars. 58-79
  
• Yifeng Chen, Jeff W. Sanders:
  Abstraction of Object Graphs in Program Verification. 80-99
  
• Nils Anders Danielsson, Thorsten Altenkirch:
  Subtyping, Declaratively. 100-118
  
• Brijesh Dongol, Ian J. Hayes:
  Compositional Action System Derivation Using Enforced Properties. 119-139
  
• João F. Ferreira:
  Designing an Algorithmic Proof of the Two-Squares Theorem. 140-156
  
• Walter Guttmann:
  Partial, Total and General Correctness. 157-177
  
• Ian J. Hayes, Steve Dunne, Larissa Meinicke:
  Unifying Theories of Programming That Distinguish Nontermination and Abort. 178-194
  
• Ralf Hinze:
  Adjoint Folds and Unfolds. 195-228
  
• Piotr Kosiuczenko:
  An Abstract Machine for the Old Value Retrieval. 229-247
  
• Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit:
  A Tracking Semantics for CSP. 248-270
  
• Hugo Daniel Macedo, José Nuno Oliveira:
  Matrices as Arrows! 271-287
  
• Louis Mandel, Florence Plateau, Marc Pouzet:
  Lucy-n: a n-Synchronous Extension of Lustre. 288-309
  
• Milad Niqui, Jan J. M. M. Rutten:
  Sampling, Splitting and Merging in Coinductive Stream Calculus. 310-330
  
• Hugo Pacheco, Alcino Cunha:
  Generic Point-free Lenses. 331-352
  
• Dusko Pavlovic, Peter Pepper, Douglas R. Smith:
  Formal Derivation of Concurrent Garbage Collectors. 353-376
  
• Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif:
  Temporal Logic Verification of Lock-Freedom. 377-396
  
• Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu:
  Gradual Refinement. 397-425
  

Last update Fri May 25 08:28:03 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page