Ausgabe 5/1999
Inhalt (3 Artikel)
Original articles
Causality for debugging mobile agents
Pierpaolo Degano, Corrado Priami, Lone Leth, Bent Thomsen
Originalarbeiten
Reasoning with first order nondeterministic specifications
Beata Konikowska, Marcin Białasik