NAPAW

Definition

NAPAW (North American Process Algebra Workshop) ist ein nordamerikanischer Workshop zur Prozessalgebra. Er dient dem wissenschaftlichen Austausch über formale Methoden zur Modellierung nebenläufiger Systeme.