Skip to main content

Acta Informatica

Ausgabe 6/2015

Inhalt (3 Artikel)

Original Article

Some properties of involution binary relations

Chen-Ming Fan, Jen-Tse Wang, Cheng-Chih Huang

Original Article

Contextual hyperedge replacement

Frank Drewes, Berthold Hoffmann

Original Article

Parametrized invariance for infinite state processes

Alejandro Sánchez, César Sánchez

Premium Partner