Verifying concurrent processes using temporal logic :: SCD d'Orléans

Verifying concurrent processes using temporal logic

Verifying concurrent processes using temporal logic

Enregistré dans:

Bibliografiske detaljer
Hovedforfatter:	Hailpern, Brent T., 1955-
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 129
Fag:	Informatique Logiciels > Vérification Ordinateurs Parallélisme (informatique) Structure logique
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Verifying concurrent processes using temporal logic, Brent T. Hailpern, Berlin, Springer-Verlag, 1982, 1 vol. (VIII-208 p.), Lecture notes in computer science, 3-540-11205-7 • Verifying Concurrent Processes Using Temporal Logic, Texte imprimé, 9783662179413

Lignende værker

Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings

An introduction to the PL/CV2 programming logic
af: Constable, Robert Lee, et autres

CONCURRENCY 88 : International conference on concurrency, Hamburg, FRG, October 18-19, 1988 : proceedings

Static Analysis for BSPlib Programs
af: Jakobsson, Filip, 1988-
Udgivet: (2019)

Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
af: Godefroid, Patrice, 19..-

Languages and compilers for parallel computing : 16th international workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003 : revised papers

Languages and compilers for parallel computing : 14th international workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001 : revised papers

Languages and compilers for parallel computing : 10th international workshop, LCPC'97, Minneapolis, Minnesota, USA, August 7-9, 1997 : proceedings

Euro-Par'96 parallel processing : Second International Euro-Par Conference Lyon, France, August 26 29, 1996 : proceedings, volume II

Concurrency and hardware design : advances in Petri nets
af: Cortadella, Jordi, 1962-

Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 : proceedings

Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures

Euro-Par'96 parallel processing : Second International Euro-Par Conference Lyon, France, August 26 29 1996 : proceedings, volume I

Euro-Par 2001 parallel processing : 7th International Euro-Par Conference Manchester, UK, August 28 31, 2001 : proceedings

Exploitation of fine-grain parallelism
af: Böckle, Günter

Languages and compilers for parallel computing : 7th International Workshop, Ithaca, NY, USA, August 8 10, 1994 : proceedings

Languages and compilers for parallel computing : 9th international workshop, LCPC'96, San Jose, California, USA, August 8 10, 1996 : proceedings

Languages and compilers for parallel computing : 6th International Workshop, Portland, Oregon, USA, August 12 14, 1993 : proceedings

Languages and compilers for parallel computing : 8th international workshop, LCPC ½95, Columbus, Ohio, USA, August 1995 : proceedings

Languages and compilers for parallel computing : 5th International Workshop, New Haven, Connecticut, USA, August 3 5, 1992 : proceedings

Program development in computational logic : a decade of research advances in logic-based program development
af: Bruynooghe, Maurice

Parallel symbolic languages and systems : International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings

Languages and compilers for parallel computing : 11th International Workshop, LCPC 98 Chapel Hill, NC, USA, August 7 9, 1998 : proceedings

Languages and compilers for parallel computing : 13th international workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers

Concurrent object-oriented programming and Petri Nets : advances in Petri Nets
af: Agha, Gul A.

Using MPI : portable parallel programming with the message-passing interface
af: Gropp, William D., et autres
Udgivet: (1999)

Modular construction and partial order semantics of Petri nets
af: Vogler, Walter, 1955-

Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings

Recent advances in parallel virtual machine and message passing interface : 4th European PVM/MPI Users' Group Meeting, Cracow, Poland, November 3 5, 1997 : proceedings

Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

Computer aided verification : 7th International Conference, CAV '95, Liège, Belgium, July 3-5, 1995 : proceedings

Logics for concurrency : structure versus automata
af: Moller, Faron, 1962-...., informaticien

Computer aided verification : 11th International Conference, CAV 99, Trento, Italy, July 6 10, 1999 : proceedings

Parallel architectures and their efficient use : First Heinz Nixdorf Symposium, Paderborn, Germany, November 11-13, 1992 : proceedings

Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11 14, 1994 : proceedings
af: Gabbay, Dov M., 1945-

Euro-Par 2000 parallel processing : 6th International Euro-Par Conference Munich, Germany, August 29 September 1, 2000 : proceedings

Euro-Par 2003 parallel processing : 9th International Euro-Par Conference Klagenfurt, Austria, August 26-29, 2003 : proceedings

Euro-Par 2002 parallel processing : 8th International Euro-Par Conference Paderborn, Germany, August 27 30, 2002 : proceedings

Job scheduling strategies for parallel processing : IPPS '97 Workshop, Geneva, Switzerland, April 5, 1997 : proceedings

Job scheduling strategies for parallel processing : 7th international workshop, JSSPP 2001, Cambridge, MA, USA, June 16, 2001 : revised papers

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales