Verifying concurrent processes using temporal logic
Κύριος συγγραφέας: | Hailpern, Brent T. 1955- ((Brent Tzion)) (Συγγραφέας) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin
Springer-Verlag
1982
|
Σειρά: | Lecture notes in computer science
129 |
Θέματα: |
Παρόμοια τεκμήρια
-
Logics and models of concurrent systems /
Έκδοση: (1985) -
Logics for concurrency structure versus automata
Έκδοση: (1996) -
Linear time, branching time and partial order in logics and models for concurrency
Έκδοση: (1989) -
Solving problems on concurrent processors
ανά: Fox, Geoffrey C. -
Algorithms for parallel processing /
Έκδοση: (1999)