Linear Time Branching Time and Partial Order in Logics and Models for Concurrency
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.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Hugendubel
Linear Time Branching Time and Partial Order in Logics and Models for Concurrency
Hugendubel
29-10-2026 09:40:27
Gesponsert
SpringerLink DE
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
SpringerLink DE
03-11-2026 17:47:26
Ähnliche Produkte
Linear Isentropic Oscillations of Stars
198.11 EUR
Linear Time-Varying Systems
141.50 EUR
