some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

   Volume 1 (2005)

   Volume 2 (2006)

   Volume 3 (2007)

   Volume 4 (2008)

      Issue 1

      Issue 2

      Issue 3

      Issue 4

   Volume 5 (2009)

   Volume 6 (2010)

   Volume 7 (2011)

   Volume 8 (2012)

   Volume 9 (2013)

   Volume 10 (2014)

   Volume 11 (2015)

   Volume 12 (2016)

   Volume 13 (2017)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 4, ISSUE 2


1. Normalization of IZF with Replacement
  Wojciech Moczydlowski


2. Approximating a Behavioural Pseudometric without Discount for
Probabilistic Systems
  Franck van Breugel, Babita Sharma and James Worrell


3. Semi-continuous Sized Types and Termination
  Andreas Abel


4. A Distribution Law for CCS and a New Congruence Result for the π-calculus
  Daniel Hirschkoff and Damien Pous


5. A lower bound on web services composition
  Anca Muscholl and Igor Walukiewicz


6. Relational Parametricity and Separation Logic
  Lars Birkedal and Hongseok Yang


7. On the Expressiveness and Complexity of ATL
  François Laroussinie, Nicolas Markey and Ghassan Oreiby


8. Visibly Tree Automata with Memory and Constraints
  Hubert Comon-Lundh, Florent Jacquemard and Nicolas Perrin


9. Model Checking One-clock Priced Timed Automata
  Patricia Bouyer, Kim Guls Larsen and Nicolas Markey


Creative Commons