Verifying concurrent processes using temporal logic

Verifying concurrent processes using temporal logic

Bibliographic Details
Main Author:	Hailpern, Brent T. 1955- ((Brent Tzion)) (Author)
Format:	Book
Language:	English
Published:	Berlin Springer-Verlag 1982
Series:	Lecture notes in computer science 129
Subjects:	Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)

Similar Items

Logics and models of concurrent systems /
Published: (1985)

Logics for concurrency structure versus automata
Published: (1996)

Linear time, branching time and partial order in logics and models for concurrency
Published: (1989)

Solving problems on concurrent processors
by: Fox, Geoffrey C.

Algorithms for parallel processing /
Published: (1999)

Parallel processing of discrete problems /
Published: (1999)

Principles of concurrent programming /
by: Ben-Ari, M. 1948-
Published: (1982)

New concepts and technologies in parallel information processing : [proceedings of the NATO Advanced Study Institute, held at Capri, Italy, June 17-30, 1973] /
Published: (1975)

Elements of paraller computing
by: Rajaraman, V.
Published: (2004)

The massively parallel processor
Published: (1985)

Προγραμματισμός και αρχιτεκτονική συστημάτων παράλληλης επεξεργασίας /
by: Παπαδάκης, Στυλιανός
Published: (2012)

Using MPI portable parallel programming with the message-passing interface
by: Gropp, William D.
Published: (1999)

Συστήματα παράλληλης επεξεργασίας
by: Παπακωνσταντίνου, Γ. Κ., et al.
Published: (1994)

Principles of concurrent and distributed programming /
by: Ben-Ari, M. 1948-
Published: (1990)

Using MPI-2 advanced features of the message-passing interface
by: Gropp, William D.
Published: (1999)

Παραλληλοποίηση αλγορίθμου Aho-Corasick με τεχνολογία CUDA
by: Δημόπουλος, Παναγιώτης
Published: (2012)

Introduction to numerical methods for parallel computers
by: Schendel, U.
Published: (1984)

Turtles, termites, and traffic jams explorations in massively parallel microworlds
by: Resnick, Mitchel
Published: (1994)

Guide to parallel programming on sequent computer systems
Published: (1989)

Μεθοδολογίες επαναχρησιμοποίησης δεδομένων για ελάττωση μεταφορών στην ιεραρχία μνήμης
by: Κελεφούρας, Βασίλειος
Published: (2008)

Parallel scientific computing in C++ and MPI a seamless approach to parallel algorithms and their implementation
by: Καρνιαδάκης, Γεώργιος Ε.
Published: (2003)

Απεικόνιση δομών λογισμικού σε εναλλακτικές αρχιτεκτονικές διατάξεων επεξεργαστών
by: Ευσταθίου - Μπιτζάρου, Κυριακή
Published: (1994)

Architectural alternatives for exploiting parallelism
by: Lilja, David J.
Published: (1991)

Προγραμματισμός μαζικά παράλληλων επεξεργαστών /
by: Kirk, David, 1960-
Published: (2010)

The theory and practice of concurrency /
by: Roscoe, A. W.
Published: (1998)

Principles of concurrent and distributed programming /
by: Ben-Ari, M. 1948-
Published: (2006)

Computer architecture and parallel processing.
Published: (1984)

Computer architecture and parallel processing
by: Hwang, Kai
Published: (1985)

Limits to Parallel Computation: P- Completeness Theory
by: Greenlaw, Raymond, et al.
Published: (1995)

Models of massive parallelism : analysis of cellular automata and neural networks /
by: Garzon, Max, 1953-
Published: (1995)

Semantics of parallelism : non-interleaving representation of behaviour /
by: Shields, Michael W. (Michael William), 1950-
Published: (1997)

Parallel computing Theory and comparisons
by: Lipovski, G. J., et al.
Published: (1987)

Software for parallel computation /
Published: (1993)

Task scheduling for parallel systems /
by: Sinnen, Oliver, 1971-
Published: (2007)

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

Handbook of randomized computing /
Published: (2001)

Σχεδιασμός και υλοποίηση περιβάλλοντος για τη διαχείριση πληροφορίας σε περιβάλλον Διαδικτυακού Υπολογισμού (Grid) με σκοπό τη βελτιστοποίηση της απόδοσης συστημάτων Grid Διπλωματική εργασία. Πανεπιστήμιο Πατρών Τμήμα Μηχανικών Η/Υ και Πληροφορικής. Εργαστήριο Πληροφοριακών Συστημάτων Υψηλών Επιδόσεων
by: ΚΑΡΑΝΤΑΣΗς, ΚΩΣΤΑς Ι.
Published: (2003)

Parallel processing for supercomputers and artificial intelligence
Published: (1989)

Using MPI Portable Parallel Programming with the Message-Passing Interface
by: Gropp, William, et al.
Published: (1994)

Perceptrons : an introduction to computational geometry /
by: Minsky, Marvin L. 1927-2016
Published: (1988)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_stqd3le5gucuj9b4aklj15efoi