Verifying concurrent processes using temporal logic

Verifying concurrent processes using temporal logic

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Hailpern, Brent T. (Brent Tzion) 1955-
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Berlin ; : Heidelberg : Springer, 1982
Σειρά:	Lecture notes in computer science ; ; 129
Θέματα:	Parallel processing (Electronic computers) Computer programs > Verification.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Principles of concurrent programming
από: Ben-Ari, M. 1948-
Δημοσίευση: (1982)

Verification of sequential and concurrent programs
από: Apt, Krzysztof R. 1949-
Δημοσίευση: (1991)

The theory of database concurrency control
από: Papadimitriou, Christos H.
Δημοσίευση: (1986)

Principles of concurrent and distributed programming
από: Ben-Ari, M. 1948-
Δημοσίευση: (2006)

On concurrent programming
από: Schneider, Fred B.
Δημοσίευση: (1997)

Communicating sequential processes
από: Hoare, C. A. R. (Charles Antony Richard), 1934-
Δημοσίευση: (1985)

Validating and verifying knowledge-based systems
από: Gupta, Uma G.
Δημοσίευση: (1993)

Concurrent prolog :
από: Shapiro, Ehud Y.
Δημοσίευση: (1987)

Concurrent programming in JAVA :
από: Lea, Douglas
Δημοσίευση: (1997)

Object-based models and languages for concurrent systems :
Δημοσίευση: (1995)

Computer architecture and parallel processing
από: Hwang, Kai
Δημοσίευση: (1984)

Parallel computing works!
από: Fox, Geoffrey C.
Δημοσίευση: (1994)

Process algebra
από: Baeten, J. C. M.
Δημοσίευση: (1990)

Proceedings of the 1986 International Conference on Parallel Processing
Δημοσίευση: (1986)

Parallel processing algorithms for GIS
Δημοσίευση: (1998)

Using MPI :
από: Gropp, William
Δημοσίευση: (1999)

Applications of Process Algebra
Δημοσίευση: (1990)

Modal logic and process algebra :
Δημοσίευση: (1995)

Programming languages for parallel processing
Δημοσίευση: (1995)

Handbook on parallel and distributed processing
Δημοσίευση: (2000)

Using MPI-2 :
από: Gropp, William
Δημοσίευση: (1999)

The design and analysis of parallel algorithms
από: Smith, Justin R.
Δημοσίευση: (1993)

Introduction to parallel algorithms and architectures :
από: Leighton, Frank Thomson
Δημοσίευση: (1992)

Parallel algorithms for irregular problems :
Δημοσίευση: (1995)

Parallel algorithms and architectures
από: Cosnard, M. (Michel)
Δημοσίευση: (1995)

Advances in parallel computing :
Δημοσίευση: (1990)

Συστήματα παράλληλης επεξεργασίας
από: Παπακωνσταντίνου, Γεώργιος Κ., 1942-
Δημοσίευση: (1994)

Parallel logic programming
από: Tick, Evan 1959-
Δημοσίευση: (1991)

Parallel supercomputing :
Δημοσίευση: (1989)

Neural and massively parallel computers :
από: Soucek, Branko
Δημοσίευση: (1988)

Introduction to parallel computing :
Δημοσίευση: (1994)

Advanced computer architecture :
από: Hwang, Kai
Δημοσίευση: (1993)

Numerical analysis and parallel processing :
Δημοσίευση: (1989)

Foundations of multithreaded, parallel, and distributed programming
από: Andrews, Gregory R.
Δημοσίευση: (2000)

Parallel scientific computation :
από: Bisseling, Rob H.
Δημοσίευση: (2004)

An introduction to parallel and vector scientific computing
από: Shonkwiler, Ronald W. 1942-
Δημοσίευση: (2006)

Απεικόνιση αλγορίθμων σε αρχιτεκτονικές παράλληλης επεξεργασίας
από: Παπακωνσταντίνου, Γεώργιος Κ., 1942-
Δημοσίευση: (1998)

Object-based parallel and distributed computation :
Δημοσίευση: (1996)

Nets, terms, and formulas :
από: Olderog, E.-R
Δημοσίευση: (1991)

Redundant disk arrays :
από: Gibson, Garth A.
Δημοσίευση: (1992)