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.deAquí podrás indicarnos un error existente en esta entrada de PONS o proponernos alguna rectificación:
¿Cómo puedo transferir las traducciones al Entrenador de vocabulario?
Ten en cuenta que los términos de la lista de vocabulario solo están disponibles en este navegador. En cuanto los hayas transferido al Entrenador de vocabulario estarán disponibles desde cualquier dispositivo.