Formale Systeme, Automaten, Prozesse: Synchronisierte Produkte von Automaten, Mutex, Verfahren von Peterson (Do, 16.07.2009)
Zur Veranstaltungsseite
  • Einbetten