Some sufficient conditions for a succesfull connection between these worlds are proposed.
Olaf Kummer gave a coherent formal treatment of the subject in Axiomensysteme für die Theorie der Nebenläufigkeit.
This work focuses on the difficulties ( which are illustrated by strange models ) arising in concurrency theory and presents possible solutions.
www.informatik.uni-hamburg.deEinige hinreichende Bedingungen für eine erfolgreiche Verknüpfung dieser Welten werden vergeschlagen.
Olaf Kummer lieferte in Axiomensysteme für die Theorie der Nebenläufigkeit eine zusammenhängende, formale Untersuchung.
Diese Arbeit konzentriert sich auf Schwierigkeiten, die in der Concurrency-Theory entstehen ( und sich durch unerwünschte Modelle zeigen ), und präsentiert mögliche Lösungen.
www.informatik.uni-hamburg.deBir kelime, bir kelime grubu veya bir çeviri mi eklemek istiyorsunuz?
Bize yeni bir kelime gönderebilir.PONS'un bu kaydında bir hata olduğunu düşünüyorsanız burada bir not bırakabilir veya düzeltmek için bir öneride bulunabilirsiniz:
Çevirileri nasıl kelime antrenörüne aktarabilirim?
Kelime listesindeki kelimelere sadece bu tarayıcıda erişilebileceğine dikkat edin. Kelime antrenörüne aktarıldıkları anda her yerde erişilir hale gelirler.