Andrzej S. Murawski

Die Rolle von saturierenden Automaten beim Verständnis von nebenläufiger Programmierung erkunden.