Formal systems specification : :: SCD d'Orléans

Formal systems specification : the RPC-memory specification case study

Formal systems specification : the RPC-memory specification case study

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to...

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Broy, Manfred, 1949-
Další autoři:	Merz, Stephan, 19..- (Šéfredaktor, odpovědný redaktor), Spies, Katharina, 19..- (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 1169
Témata:	Génie logiciel Informatique Traitement réparti Réseaux d'ordinateurs Gestion mémoire (informatique) Ordinateurs > Mémoires
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal systems specification, the RPC-memory specification case study, Manfred Broy, Stephan Merz, Katharina Spies, eds, 1996, Berlin, Springer, 1 vol. (XXIII-540 p.), Lecture notes in computer science, 3-540-61984-4 • Formal Systems Specification, Texte imprimé, 9783662184707

Podobné jednotky

Formal techniques for networked and distributed systems : FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

Formal techniques for networked and distributed systems - FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings

Formal techniques for networked and distributed systems - FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, september 29 - october 2, 2003 : proceedings

Policies for distributed systems and networks : international workshop, POLICY 2001, Bristol, UK, January 29-31, 2001 : proceedings

Cooperative environments for distributed systems engineering : the distributed systems environment report
Autor: Drira, Khalil, 19..-

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

Future directions in distributed computing : research and position papers
Autor: Schiper, André, 1949-

Objective coordination in multi-agent system engineering : design and implementation
Autor: Schumacher, Michael, 1971-

Application of Petri nets to communication networks : advances in Petri nets
Autor: Billington, Jonathan, 19..-

Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, May 21 23, 1997 : proceedings

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings

Principles of distributed systems : 7th international conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003 : revised selected papers

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

Coordination models and languages : 5th international conference, COORDINATION 2002, York, UK, April 8-11, 2002 : proceedings

Coordinatio[n] languages and models : Third International Conference, COORDINATION 99 Amsterdam, The Netherlands, April 26 28, 1999 : proceedings

Coordination languages and models : 4th international conference, Coordination 2000, Limassol, Cyprus, September 11-13, 2000 : proceedings

Coordination languages and models : second international conference, COORDINATION '97, Berlin, Germany, September 1-3, 1997 : proceedings

Distributed systems : methods and tools for specification : an advanced course
Autor: Alford, Mack W., a další

DCE - the OSF distributed computing environment : client/server model and beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993 : proceedings

Grid computing - GRID 2002 : third international workshop, Baltimore, MD, USA, November 18, 2002 : proceedings

Coordination models and languages : 6th international conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004 : proceedings
Autor: De Nicola, Rocco

Grid Computing - GRID 2000 : First IEEE/ACM International Workshop, Bangalore, India, December 17, 2000 : proceedings

Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 29, 1996 : proceedings

Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19 20, 1995 : selected papers

Advanced distributed systems : Third international school and symposium, ISSADS 2004, Guadalajara, Mexico, January 24-30, 2004 : revised selected papers

Object-based parallel and distributed computation : France-Japan Workshop, OBPDC ±95, Tokyo, Japan, June 21 23, 1995 : selected papers

Scientific engineering of distributed Java applications : Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers
Autor: Guelfi, Nicolas, 1965-

Distributed applications and interoperable systems : 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003 : proceedings

Grid computing : Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004 : revised papers
Autor: Dikaiakos, Marios D., 1965

Grid computing : First European Across Grids Conference, Santiago de Compostela, Spain, February 13-14, 2003 : revised papers
Autor: Fernández Rivera, Francisco

Advances in computing science ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings

Middleware 2000 : IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing New York, NY, USA, April 4 7, 2000 : proceedings

Grid Computing - GRID 2001 : ; proceedings second international workshop, Denver, CO, USA, November 12, 2001

Middleware 2001 : IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg, Germany, November 12 16, 2001 : proceedings

Middleware 2004 : ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-22, 2004 : roceedings
Autor: Jacobsen, Hans-Arno, 1969-

Middleware 2003 : ACM/IFIP/USENIX International Middleware Conference Rio de Janeiro, Brazil, June 16 20, 2003 : proceedings

Mobile agents : First International Workshop, MA '97, Berlin, Germany, April 7 8, 1997 : proceedings

Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings

Distributed computing - IWDC 2003 : 5th international workshop, Kolkata, India, December 27-30, 2003 : proceedings

Grid and cooperative computing : GCC 2004 : Third international conference, Wuhan, China, october 21-24, 2004 : 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