Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 42, Number 6, 2006

Refinement of actions for real-time concurrent systems with causal ambiguity
pp. 389-418(30)
Authors: Majster-Cederbaum, M.; Wu, J.; Yue, H.

Favourites:
ADD

Embedding linear orders in grids
pp. 419-428(10)
Authors: Ehrenfeucht, A.; Harju, T.; Rozenberg, G.

Favourites:
ADD

A typed encoding of boxed into safe ambients
pp. 429-500(72)
Author: Levi, F.

Favourites:
ADD

Vector assignment schemes for asymmetric settings
pp. 501-514(14)
Authors: Epstein, L.; Tassa, T.

Favourites:
ADD

Equivalences and optimizations in an expressive XSLT subset
pp. 515-539(25)
Authors: Trombetta, A.; Montesi, D.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more