Logics for concurrency : :: SCD d'Orléans

Logics for concurrency : structure versus automata

Logics for concurrency : structure versus automata

This book presents five tutorial-style lectures on various approaches to the problem of verifying distributed systems: three chapters concentrate on linear-time or branching-time temporal logics; one addresses process equivalence with an emphasis on infinite-state systems; and the final one presents...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Moller, Faron, 1962-...., informaticien
Beste egile batzuk:	Birtwistle, Graham, 1939- (Argitalpenaren zuzendaria)
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Saila:	Lecture notes in computer science 1043
Gaiak:	Informatique Traitement réparti Algorithmes Parallélisme (informatique) Logique symbolique et mathématique
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logics for concurrency, structure versus automata, Faron Moller, Graham Birtwistle, 1996, Berlin, Springer, 1 vol. (XI-266 p.), Lecture notes in computer science, 3-540-60915-6 • Logics for Concurrency, Texte imprimé, 9783662196205

Antzeko izenburuak

Parallel and distributed computation : numerical methods
nork: Bertsekas, Dimitri P., 1942-2026, et al.
Argitaratua: (1989)

Concurrency and hardware design : advances in Petri nets
nork: 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

TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8 12, 1991 Colloquium on Trees in Algebra and Programming (CAAP'91)

Parallelism, learning, evolution : Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10 11, 1989 : Workshop on Parallel Processing : Logic, Organization, and Technology - WOPPLOT 89, Wildbad Kreuth, Germany, July 24 28, 1989 : proceedings
nork: Becker, Jörg, 1944-

Parallel Processing and Applied Mathematics : 4th International Conference, PPAM 2001, Nał©eczów, Poland, September 9-12, 2001 : revised papers
nork: Wyrzykowski, Roman, 19..-
Argitaratua: (2003)

Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 June 3, 1988

Parallel Processing and Applied Mathematics : 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003 : Revised papers

Parallel algorithms and cluster computing : implementations, algorithms and applications
nork: Hoffmann, Karl Heinz

Finite representations of CCS and TCSP programs by automata and Petri nets
nork: Taubner, Dirk, 1959-

Actors : a model of concurrent computation in distributed systems
nork: Agha, Gul A.
Argitaratua: (1990)

Parallélisme et équilibrage de charges dans le traitement de la jointure sur des architectures distribuées
nork: Al Hajj Hassan, Mohamad, 1981-
Argitaratua: (2009)

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

Learning language in logic
nork: Cussens, James, 1965-

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

Algorithms, concurrency, and knowledge : 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings

Parallel and distributed processing : 10 IPPS/SPDP '98 workshops held in conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30 - April 3, 1998 : proceedings

Parallel and distributed processing : 15 IPDPS 2000 workshops, Cancun, Mexico, May 2000 : proceedings

Les environnements d'exécution répartie
Argitaratua: (1998)

Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers
nork: Leivant, Daniel

TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8 12, 1991 Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD)

Coordination Languages and Models : First International Conference, COORDINATION '96 Cesena, Italy, April 15 17, 1996 Proceedings

Automata, logics, and infinite games
nork: Grädel, Erich, 1958-

Parallel image analysis : second international conference, ICPIA '92, Ube, Japan, December 21-23, 1992 : proceedings

Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings
nork: Bergman, Clifford H.

Parallel, distributed and multiagent production systems
nork: Ishida, Toru, 1953-

La programmation réactive : application aux systèmes communicants
nork: Boussinot, Frédéric, 1951-
Argitaratua: (1996)

Mathematical models for the semantics of parallelism : advanced school, Rome, Italy, September 24-October 1, 1986 : proceedings

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings

Parallel and distributed computing : theory and practice : first Canada-France conference, Montréal, Canada, May 19-21, 1994 : proceedings
nork: Cosnard, Michel, 1952-...., informaticien

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

Erlang : programmation
nork: Rémond, Mickaël, 19..-
Argitaratua: (2012)

The concurrency control problem for database systems
nork: Casanova, Marco Antonio

Les systèmes multi-agents et le temps réel
nork: Attoui, Ammar
Argitaratua: (1997)

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

Seminar on concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9 11, 1984

Vivid logic : knowledge-based reasoning with two kinds of negation
nork: Wagner, Gerd, 1957-...., informaticien

Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2 5, 1996 : proceedings

Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings

© 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