Volume 33, Issue 7 | Acta Informatica

Search all Acta Informatica articles

Volume 33, Issue 7

October 1996

Filter by

Volume:

Sort by

Date published:

New to old Old to new

6 articles in this issue

Parallel integer sorting and simulation amongst CRCW models
Sanjeev Saxena
Pages: 607 - 619
Trial and Error
Foued Ameur
Paul Fischer
Friedhelm Meyer auf der Heide
Pages: 621 - 630
An observation on suffix redundancy in LL(1) error repair
Eberhard Bertsch
Pages: 631 - 639
Axiomatizing the algebra of net computations and processes
Pierpaolo Degano
José Meseguer
Ugo Montanari
Pages: 641 - 667
On the analysis of Petri nets with static priorities
Falko Bause
Pages: 669 - 685
Reduction rules for time Petri nets
Robert H. Sloan
Ugo Buy
Pages: 687 - 706