Logics for concurrency structure versus automata
Άλλοι συγγραφείς: | Moller, Faron 1962- (Επιμελητής έκδοσης), Birtwistle, Graham (Επιμελητής έκδοσης) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin
Springer
1996
|
Σειρά: | Lecture notes in computer science
1043 |
Θέματα: |
Παρόμοια τεκμήρια
-
Principles of concurrent and distributed programming /
ανά: Ben-Ari, M. 1948-
Έκδοση: (1990) -
Logics and models of concurrent systems /
Έκδοση: (1985) -
Σχεδιασμός και υλοποίηση περιβάλλοντος για τη διαχείριση πληροφορίας σε περιβάλλον Διαδικτυακού Υπολογισμού (Grid) με σκοπό τη βελτιστοποίηση της απόδοσης συστημάτων Grid Διπλωματική εργασία. Πανεπιστήμιο Πατρών Τμήμα Μηχανικών Η/Υ και Πληροφορικής. Εργαστήριο Πληροφοριακών Συστημάτων Υψηλών Επιδόσεων
ανά: ΚΑΡΑΝΤΑΣΗς, ΚΩΣΤΑς Ι.
Έκδοση: (2003) -
Verifying concurrent processes using temporal logic
ανά: Hailpern, Brent T. 1955- ((Brent Tzion))
Έκδοση: (1982) -
Linear time, branching time and partial order in logics and models for concurrency
Έκδοση: (1989)