A true concurrency semantics for parallel programs /
The paper shows how the true concurrency model for concurrent systems, the so-called directed, acyclic, arclabelled graphs, and propositional Concurrent Temporal Logic that have been developed for the specification and verification of the elementary net system, can be adapted to give a true concurre...
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | Κεφάλαιο βιβλίου |
| Γλώσσα: | English |
| Σχετικά τεκμήρια: | Περιέχεται σε:
Microprocessing and microprogramming |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Σύστημα σε κατάσταση συντήρησης
Ο κατάλογος της βιβλιοθήκης βρίσκεται σε κατάσταση συντήρησης.
Η κατάσταση των τεκμηρίων δεν είναι διαθέσιμη αυτή τη στιγμή. Ζητούμε συγγνώμη για το πρόβλημα. Επικοινωνήστε μαζί μας αν χρειάζεστε βοήθεια: