Skip to main content

Acta Informatica

Ausgabe 7-8/2008

Inhalt (5 Artikel)

Original Article

Regular autodense languages

Chen-Ming Fan, C. C. Huang, H. J. Shyr

Original Article

A type safe state abstraction for coordination in Java-like languages

Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou

Original article

M-nets: a survey

Hanna Klaudel, Franck Pommereau