Skip to content
Toggle navigation
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
The Formal description techniq...
Similar Items
Cite this
Text this
Email this
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
The Formal description technique Estelle : results of the ESPRIT/SEDOS Project /
Other Authors:
Diaz, Michel
Format:
Book
Published:
Amsterdam: New York, N.Y.,:
North-Holland, Elsevier Science Pub. Co.,
1989
Subjects:
Electronic data processing
>
Distributed processing
Holdings
Description
Similar Items
Staff View
Similar Items
The formal description technique Lotos: : results of the ESPRIT/SEDOS project/
Published: (1989)
Using formal description techniques: an introduction to Estelle,LOTOS, and SDL/
Published: (1993)
Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Published: (2001)
Formal description techniques, V= Formal description techniques, 5= Formal description techniques, five : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992/
Published: (1993)
Formal description techniques, VI= FORTE '93 : proceedings of the IFIPTC6/WG6.1 sixth International Conference on Formal DescriptionTechniques, FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993/
Published: (1994)
Distributed computer systems impact on management, design, and analysis/
by: Champine, George A.
Published: (1980)
Systemes informatiques repartis : concepts et techniques /
by: Cornafion
Published: (1981)
MIT project Athena :a model for distributed campus computing /
by: Champine, George A.
Published: (1991)
Coordinated computing: tools and techniques for distributed software/
by: Filman, Robert E.
Published: (1984)
Distributed systems /
Published: (1989)
Distributed systems/
Published: (1989)
Introduction to reliable distributed programming /
by: Guerraoui, Rachid
Published: (2006)
Distributed computing: : 12th international symposium, Disk'98 Andros, Greece, September 24-26, 1998, proceedings/
Published: (1998)
Practical distributed processing /
by: Brooke, Phillip J.
Published: (2008)
Distributed computing : principles, algorithms, and systems /
by: Kshemkalyani, Ajay D.
Published: (2008)
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing : Newport, Rhode Island, USA, August 26-29, 2001 /
Published: (2001)
Distributed processing
Published: (1977)
Programming distributed systems /
by: Bal, H. E.
Published: (1990)
Readings in distributed computing systems /
by: Casavant, Thomas L.
Published: (1994)
Information flow : the logic of distributed systems /
by: Barwise, Jon
Published: (1997)
The transition of legacy systems to a distributed architecture /
by: Ganti, Narsim, 1946-
Published: (1995)
Distributed real-time systems : monitoring, visualization, debugging, and analysis /
Published: (1996)
OSF DCE : guide to developing distributed applications /
by: Lockhart, Harold W.
Published: (1994)
Modelling with generalized stochastic Petri nets /
Published: (1995)
The Jini specifications /
Published: (2001)
Distributed systems : concepts and design /
by: Coulouris, George F.
Published: (2005)
The essence of distributed systems /
by: Crichlow, Joel M., 1948-
Published: (2000)
Elements of distributed computing /
by: Garg, Vijay K. 1963-
Published: (2002)
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing : Portland, Oregon, USA, July 16-19, 2000 /
Published: (2000)
Distributed data processing : technology and critical issues /
Published: (1984)
Load balancing: An automated learning approach
by: Mehra, Pankaj
Published: (1995)
Distributed computing.
Published: (1986)
Distributed systems : concepts and design /
by: Coulouris, George F.
Published: (1994)
Reliable distributed computing with the Isis toolkit /
Published: (1994)
Network and distributed systems management /
Published: (1994)
UNIX distributed programming /
by: Brown, Chris
Published: (1994)
Interacting processes : a multiparty approach to coordinateddistributed programming /
by: Francez, Nissim.
Published: (1996)
Distributed systems : concepts and design /
by: Coulouris, George F.
Published: (1970)
The middleware source book /
Published: (1995)
Distributed applications with Microsoft Visual C++ 6.0 MSCD Training Kit /
Published: (2000)
Similar Items
The formal description technique Lotos: : results of the ESPRIT/SEDOS project/
Published: (1989)
Using formal description techniques: an introduction to Estelle,LOTOS, and SDL/
Published: (1993)
Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Published: (2001)
Formal description techniques, V= Formal description techniques, 5= Formal description techniques, five : proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992/
Published: (1993)
Formal description techniques, VI= FORTE '93 : proceedings of the IFIPTC6/WG6.1 sixth International Conference on Formal DescriptionTechniques, FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993/
Published: (1994)
×
Loading...
