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.de您可在此指出该PONS条目的错误或提出改进建议:
如何在词汇练习助手中接受翻译内容?
请注意,词汇表中的这些词语在本浏览器中是可以使用的。只要这些词语已被收入词汇练习助手,即可随时调用。