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.deTu lahko pustite obvestila o napakah v tem geslu ali predlogih za izboljave:
Kako naložim besedišče v vadnico?
Zavedajte se, da je spisek besedišča shranjen le v tem brskalniku. S tem, ko naložite besedišče v vadnico, je dostopno povsod.