Semantics of concurrent computation : :: SCD d'Orléans

Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979

Semantics of concurrent computation : proceedings of the international symposium, Évian, France, July 2-4, 1979

Shranjeno v:

Bibliografske podrobnosti
Korporativna značnica:	International symposium on Semantics of concurrent computation (Auteur)
Drugi avtorji:	Kahn, Gilles, 1946-2006 (Directeur de la publication)
Format:	Livre numérique
Jezik:	Anglais
Izdano:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serija:	Lecture notes in computer science 70
Teme:	Génie logiciel Informatique Parallélisme (informatique) Actes de congrès
Online dostop:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Sporočilo:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Semantics of concurrent computation, proceedings of the international symposium, Évian, France, July 2-4, 1979, ed. by Gilles Kahn, Berlin, Springer-Verlag, 1979, 1 vol. (VI-368 p.), Lecture notes in computer science, 0-387-09511-X • Semantics of Concurrent Computation, Texte imprimé, 9783662181942

Podobne knjige/članki

Parallel computation : First International ACPC Conference, Salzburg, Austria, September 30 October 2, 1991 : proceedings

Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings

Parallel computation : Second International ACPC Conference Gmunden, Austria, October 4 6, 1993 : proceedings

Applied parallel computing : large scale scientific and industrial problem : 4th International Workshop, PARA '98, Umeå, Sweden, June 1998 : proceedings

OpenMP shared memory parallel programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2001, West Lafayette, IN, USA, July 30 31, 2001 : proceedings

Euro-Par'97 parallel processing : Third International Euro-Par Conference Passau, Germany, August 26 29, 1997 : proceedings

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

Parallel computing technologies : 5th International Conference, PaCT-99 St. Petersburg, Russia, September 6 10, 1999 : proceedings

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

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

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

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

OpenMP shared memory parallel programming : International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26 27, 2003 : proceedings

Parallel and distributed processing and applications : International Symposium, ISPA 2003 Aizu-Wakamatsu, Japan, July 2 4, 2003 : proceedings

Computing in object-oriented parallel environments : Second International Symposium, ISCOPE 98, Santa Fe, NM, USA, December 8 11, 1998 : proceedings

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

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)

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

Euro-Par 2004 parallel processing : 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004 : proceedings
od: Danelutto, Marco

Parallel computing technologies : 4th international conference, PaCT-97, Yaroslavl, Russia, September 8 12, 1997 : proceedings

Computing in object-oriented parallel environments : Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 : proceedings

Language, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR'98, Pittsburgh, PA, USA, May 1998 : selected papers

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

Parallel symbolic computing : languages, systems, and applications : US/Japan workshop, Cambridge, MA, USA, October 14-17, 1992 : proceedings
od: Halstead, Robert H., Jr., 1953-

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

Euro-Par 99 parallel processing : 5th International Euro-Par Conference Toulouse, France, August 31 September 3, 1999 : proceedings

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

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

Parallel computing technologies : 6th International Conference, PaCT 2001 Novosibirsk, Russia, September 3 7, 2001 : proceedings

Parallel computation : Third International ACPC Conference with special emphasis on parallel databases and parallel I/O, Klagenfurt, Austria, September 23 25, 1996 : proceedings

Parallel computing technologies : 7th International Conference, PaCT 2003, Nizhni Novgorod, Russia, September 15-19, 2003. Proceedings

Research directions in high-level parallel programming languages : Mont Saint-Michel, France, June 17-19, 1991 : proceedings
od: Banâtre, Jean-Pierre

Theory and practice of parallel programming : International workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings

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

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

Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings

A Decade of concurrency : reflections and perspectives : REX School/Symposium, Noordwijkerhout, The Netherlands June 1 4, 1993 : proceedings

Advanced parallel processing technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003 : proceedings

Object-based models and languages for concurrent systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution Bologna, Italy, July 5, 1994 : proceedings

PARLE '94 : parallel architectures and languages Europe : 6th International PARLE Conference, Athens, Greece, July 4-8, 1994 : 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