Volume 27, Issue 8 | Acta Informatica

Search all Acta Informatica articles

Volume 27, Issue 8

September 1990

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

On specification of multiprocessor computing
W. M. Turski
OriginalPaper Pages: 685 - 696
The instability of self-stabilization
Mohamed G. Gouda
Rodney R. Howell
Louis E. Rosier
OriginalPaper Pages: 697 - 724
Tableau-based model checking in the propositional mu-calculus
Rance Cleaveland
OriginalPaper Pages: 725 - 747
On the valuedness of finite transducers
Andreas Weber
OriginalPaper Pages: 749 - 780
Context free derivations on word monoids
Alexander Meduna
OriginalPaper Pages: 781 - 786
Acknowledgement to referees

Acknowledgments Pages: 787 - 788