Linear Time Branching Time and Partial Order in Logics and Models for Concurrency
106.99 EUR
Ein kompakter Leitfaden für fortgeschrittene Logikstudierende, der die Konzepte linearer und verzweigter Zeit sowie partieller Ordnung in parallelen Modellen detailliert erklärt und praxisnahe Beispiele aus einem internationalen Workshop bietet.