You have Guest access.
Log In
Volume 1 / 1971 - Volume 49 / 2012
389-418
Original Article
Refinement of actions for real-time concurrent systems with causal ambiguity
Mila Majster-Cederbaum, Jinzhao Wu and Houguang Yue
419-428
Embedding linear orders in grids
Andrzej Ehrenfeucht, Tero Harju and Grzegorz Rozenberg
429-500
A typed encoding of boxed into safe ambients
Francesca Levi
501-514
Vector assignment schemes for asymmetric settings
Leah Epstein and Tamir Tassa
515-539
Equivalences and optimizations in an expressive XSLT subset
Alberto Trombetta and Danilo Montesi
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