Trying to learn how to translate from the human translation examples.
From professional translators, enterprises, web pages and freely available translation repositories.
roscoe's "the theory and practice of concurrency" describes this newer version of csp.
Το "the theory and practice of concurrency" του roscoe περιγράφει αυτήν τη νεότερη έκδοση της csp.
"semantics of nondeterminism, concurrency, and communication" "journal of computer and system sciences".
"semantics of nondeterminism, concurrency, and communication", journal of computer and system sciences.
denotational semantics have been developed for modern programming languages that use capabilities like concurrency and exceptions, e.g., concurrent ml, csp, and haskell.
Έχουν αναπτυχθεί δηλωτικές σημασιολογίες για σύγχρονες γλώσσες προγραμματισμού που χρησιμοποιούν capabilities όπως ο ταυτοχρονισμός και οι εξαιρέσεις, π.χ.
(other concurrency systems, e.g., process calculi can be modeled in the actor model using a two-phase commit protocol.
(Άλλα συστήματα ταυτοχρονισμού, όπως οι λογισμοί διεργασιών, μπορούν να μοντελοποιηθούν στο μοντέλο actor χρησιμοποιώντας το two-phase commit protocol.
* robin milner, "communication and concurrency", prentice hall, international series in computer science, isbn 0-13-115007-3.
* robin milner, "communication and concurrency", prentice hall, international series in computer science, isbn 0-131-15007-3.