Mathematical structures in computer science (MSCS)

• 

  Año 2009, Vol. 19, Número 3

  • Seleccionado

    Exploring the relation between Intuitionistic BI and Boolean BI: an unexpected embedding

    Dominique Larchey Wendling, Didier Galmiche

    págs. 435-500

    
  • Seleccionado

    Predicate transformers for extended probability and non-determinism

    Klaus Keimel, Gordon D. Plotkin

    págs. 501-540

    
  • Seleccionado

    A quantitative computational model for complete partial metric spaces via formal balls

    Salvador Romaguera Bonilla , Oscar Valero Sierra

    págs. 541-564

    
  • Seleccionado

    On the expressive power of process interruption and compensation

    Mario Bravetti , Gianluigi Zavattaro

    págs. 565-600

    
  • Seleccionado

    A theory of contracts for strong service compliance

    Mario Bravetti , Gianluigi Zavattaro

    págs. 601-638