Formal Methods for Open Object-Based Distributed Systems V IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

Formal Methods for Open Object-Based Distributed Systems V IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands / edited by Bart Jacobs, Arend Rensink.

Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: Formal methods; Distributed systems; Object-based technology. Such a convergence is representative of recent advances in the field of distributed systems, and provides links bet...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Jacobs, Bart (Editor), Rensink, Arend (Editor)
Format:	eBook
Language:	English
Published:	New York, NY : Springer US : Imprint: Springer, 2002.
Edition:	1st ed. 2002.
Series:	IFIP Advances in Information and Communication Technology, 81 Springer eBook Collection.
Subjects:	Computers. Medicine. Programming languages (Electronic computers). Microprocessors. Artificial intelligence. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Formal Methods for Open Object-Based Distributed Systems IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
Published: (1999)

Formal Methods for Open Object-Based Distributed Systems IV IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA
Published: (2000)

Formal Methods for Open Object-Based Distributed Systems 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings
Published: (2007)

Formal Methods for Open Object-Based Distributed Systems 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
Published: (2003)

Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Published: (2008)

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Published: (2005)

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Published: (2006)

Formal Methods for Embedded Distributed Systems How to master the complexity
Published: (2004)

Formal Methods for Open Object-based Distributed Systems Volume 2
Published: (1997)

Formal Methods for Open Object-based Distributed Systems Volume 1
Published: (1997)

Formal Methods for Distributed System Development FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy
Published: (2000)

Formal Methods for Protocol Engineering and Distributed Systems Forte XII / PSTV XIX’99
Published: (1999)

Formal Techniques for Networked and Distributed Systems FORTE 2001
Published: (2001)

Design and Analysis of Distributed Embedded Systems IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25–29, 2002, Montréal, Québec, Canada
Published: (2002)

Distributed Systems for System Architects
by: Veríssimo, Paulo, et al.
Published: (2001)

Formal Description Techniques and Protocol Specification, Testing and Verification FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France
Published: (1998)

Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings
Published: (2002)

Object Management in Distributed Database Systems for Stationary and Mobile Computing Environments A Competitive Approach
by: Wujuan Lin, et al.
Published: (2003)

Distributed Applications and Interoperable Systems II IFIP TC6 WG6.1 Second International Working Conference on Distributed Applications and Interoperable Systems (DAIS’99)June 28–July 1, 1999, Helsinki, Finland
Published: (1999)

New Developments in Distributed Applications and Interoperable Systems IFIP TC6 / WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17–19, 2001, Kraków, Poland
Published: (2001)

Architecture and Design of Distributed Embedded Systems IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000) October 18–19, 2000, Schloß Eringerfeld, Germany
Published: (2001)

Distributed and Parallel Embedded Systems IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October 5–6, 1998, Schloß Eringerfeld, Germany
Published: (1999)

Principles of Distributed Systems
by: Garg, Vijay K.
Published: (1996)

Replication Techniques in Distributed Systems
by: Helal, Abdelsalam A., et al.
Published: (1996)

Distributed Network Systems From Concepts to Implementations
by: Jia, Weijia, et al.
Published: (2005)

Formal Techniques in Real-Time and Fault-Tolerant Systems
Published: (1993)

Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
Published: (2010)

Distributed and Parallel Systems Cluster and Grid Computing
Published: (2005)

Tools and Environments for Parallel and Distributed Systems
Published: (1996)

Distributed and Parallel Systems From Instruction Parallelism to Cluster Computing
Published: (2000)

Formal Techniques for Distributed Systems Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings
Published: (2011)

Distributed and Parallel Systems In Focus: Desktop Grid Computing
Published: (2008)

Advances in Network and Distributed Systems Security IFIP TC11 WG11.4 First Annual Working Conference on Network Security November 26–27, 2001, Leuven, Belgium
Published: (2002)

Distributed Simulation A Model Driven Engineering Approach
by: Topçu, Okan, et al.
Published: (2016)

Distributed and Parallel Systems From Cluster to Grid Computing
Published: (2007)

Conductor: Distributed Adaptation for Heterogeneous Networks
by: Yarvis, Mark D., et al.
Published: (2002)

Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings
Published: (2002)

Formal Techniques for Distributed Systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings
Published: (2009)

Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings
Published: (2012)

Open Multithreaded Transactions A Transaction Model for Concurrent Object-Oriented Programming
by: Kienzle, Jörg
Published: (2003)