Formal systems specification : the RPC-memory specification case study /

Formal systems specification : the RPC-memory specification case study /

Saved in:

Bibliographic Details
Imprint:	Berlin ; New York : Springer, c1996.
Description:	xxiii, 540 p. : ill. ; 24 cm.
Language:	English
Series:	Lecture notes in computer science 1169
Subject:	Electronic data processing -- Distributed processing. Computer networks. Computer networks. Electronic data processing -- Distributed processing. Memory management (Computer science)
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/2564866

Hidden Bibliographic Details
Other authors / contributors:	Broy, M., 1949- Merz, Stephan. Spies, Katharina.
ISBN:	3540619844
Notes:	Includes bibliographical references.

Similar Items

Formal systems specification : the RPC-memory specification case study /
Published: (1996)

Cooperative environments for distributed systems engineering : the distributed systems environment report /
Published: (2001)

Introduction to distributed computer systems : principles and features /
by: Czaja, Ludwik
Published: (2018)

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

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

Formal description techniques and protocol specification, testing and verification : FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 Nov. 1997, Osaka, Japan /
Published: (1997)

Pro WCF : practical Microsoft SOA implementation /
Published: (2007)

Cooperative task-oriented computing : algorithms and complexity /
by: Georgiou, Chryssis
Published: (2011)

Networks and distributed computation : concepts, tools, and algorithms /
by: Raynal, M. (Michel)
Published: (1988)

Distributed processing and data communications /
by: McGlynn, Daniel R.
Published: (1978)

Introduction to heterogeneous computing environments/
by: Barkley, John, 1945-
Published: (1989)

Distributed network systems : from concepts to implementations /
by: Jia, Weijia
Published: (2005)

Tutorial, interconnection networks for parallel and distributed processing /
by: Wu, Chuan-lin
Published: (1984)

Scientific workflows : programming, optimization, and synthesis with ASKALON and AWDL /
by: Qin, Jun
Published: (2012)

Formal methods for protocol engineering and distributed systems : FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China /
Published: (1999)

Distributed algorithms and protocols /
by: Raynal, M. (Michel)
Published: (1988)

HP Vertica essentials : learn how to deploy, administer, and manage HP Vertica, one of the most robust MPP solutions around /
by: Agrawal, Rishabh
Published: (2014)

Protocols by invariants /
by: Schoone, Anneke A.
Published: (1996)

Application of Petri nets to communication networks : advances in Petri nets /
Published: (1999)

New advances in distributed computer systems : proceedings of the NATO Advanced Study Institute held at Bonas, France, June 15-26, 1981 /
Published: (1981)

Network architectures for distributed computing = Arkhitektura vychislitelnykh setei /
by: I͡Akubaĭtis, Ėduard Aleksandrovich
Published: (1983)

Principles of distributed systems : 16th international conference, OPODIS 2012, Rome, Italy, December 18-20, 2012 : proceedings /
Published: (2012)

Principles of distributed systems : 13th international conference, OPODIS 2009, Nîmes, France, December 15-18, 2009 : proceedings /
Published: (2009)

Principles of distributed systems : 15th international conference, OPODIS 2011, Toulouse, France, December 13-16, 2011 : proceedings /
Published: (2011)

Principles of distributed systems : 14th international conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010 : proceedings /
Published: (2010)

Principles of distributed systems : 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings /
Published: (2014)

Software-defined cloud centers : operational and management technologies and tools /
by: Raj, Pethuru
Published: (2018)

Proceedings of the 15th International Conference on Distributed Computing Systems /
Published: (1995)

Proceedings of the 14th International Conference on Distributed Computing Systems : June 21-24, 1994, Poznan, Poland /
Published: (1994)

Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings /
Published: (2006)

Managing virtualization of networks and services : 18th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2007, San José, CA, USA, October 29-31, 2007 : proceedings /
Published: (2007)

Reliable distributed systems : technologies, Web services, and applications /
by: Birman, Kenneth P.
Published: (2005)

Formal models of communicating systems : languages, automata, and monadic second-order logic /
by: Bollig, Benedikt
Published: (2006)

Security in distributed and networking systems /
Published: (2007)

Formal techniques for networked and distributed systems -- FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings /
Published: (2005)

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

Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings /
Published: (2005)

Formal techniques for networked and distributed systems-- FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
Published: (2007)

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

Formal techniques for networked and distributed systems--FORTE 2008 : 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings /
Published: (2008)