Volume 36; Issue 8

Acta Informatica

Volume 36; Issue 8
1

Specifying communication in distributed information systems

Hans-Dieter Ehrich, Carlos Caleiro
Journal:
Acta Informatica
Year:
2000
Language:
english
File:
PDF, 174 KB
english, 2000
2

A complete algebraic characterization of behavioral subtyping

Gary T. Leavens, Don Pigozzi
Journal:
Acta Informatica
Year:
2000
Language:
english
File:
PDF, 321 KB
english, 2000
3

On the expressiveness of subset-sum representations

Lucian Ilie, Arto Salomaa
Journal:
Acta Informatica
Year:
2000
Language:
english
File:
PDF, 77 KB
english, 2000