Ausgabe 6-7/2006
Inhalt (5 Artikel)
Original Article
Refinement of actions for real-time concurrent systems with causal ambiguity
Mila Majster-Cederbaum, Jinzhao Wu, Houguang Yue
Original Article
Embedding linear orders in grids
Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg
Original Article
Equivalences and optimizations in an expressive XSLT subset
Alberto Trombetta, Danilo Montesi