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Εδώ μπορείτε να σημειώσετε βελτιωτικές προτάσεις ή σχόλια σχετικά με λάθη σε αυτό το λήμμα:
Πώς μπορώ να μεταφέρω τις μεταφράσεις στον προπονητή λεξιλογίου;
Έχετε υπόψη ότι τα λήμματα σε αυτήν τη λίστα λεξιλογίου διατίθενται μόνο σε αυτό τον περιηγητή. Μόλις τα περάσετε όμως στον προπονητή λεξιλογίου, θα μπορείτε να τα καλέσετε από παντού.