Cover Image

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 /

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN. 1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application...

Full description

Bibliographic Details
Corporate Authors:	IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification Osaka, Japan, SpringerLink (Online service)
Other Authors:	Mizuno, Tadanori
Format:	Conference Proceeding eBook
Language:	French
Published:	London ; New York : Chapman & Hall, [1997]
Subjects:	Electronic data processing > Distributed processing > Congresses. Computer network protocols > Congresses. Computer network protocols. Electronic data processing > Distributed processing. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Similar Items

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)

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)

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 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /
Published: (2002)

Formal description techniques, V : 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)

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 Workshops : The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /
Published: (2004)

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

On a hierarchical approach to the verification and validation of communication protocols /
by: Menta, Gitasri
Published: (1992)

Distributed computing network reliability /
by: Rai, Suresh
Published: (1990)

Protocol : how control exists after decentralization /
by: Galloway, Alexander R., 1974-
Published: (2004)

Protocol : how control exists after decentralization /
by: Galloway, Alexander R., 1974-
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 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 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings /
Published: (2006)

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 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings /
Published: (2002)

Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings /
Published: (2003)

DNS and BIND /
by: Albitz, Paul
Published: (2001)

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings /
Published: (2004)

Implementation of load sharing in TCP/IP distributed systems by election technique /
by: Muppidi, Sridhar Reddy, 1969-
Published: (1991)

Special edition using SOAP /
by: Mueller, John, 1958-
Published: (2002)

Special edition using SOAP /
by: Mueller, John, 1958-
Published: (2002)

Protocol specification, testing and verification XIV /
Published: (1995)

FTMP : a protocol for operating system fault tolerance in a fully distributed, loosely coupled environment /
by: Safford, David Robert, 1953-
Published: (1990)

Horizontal fault tolerance in a fully distributed loosely coupled environment /
by: Schiavi, Peter, 1948-
Published: (1990)

Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, the Netherlands, 6-9 June, 1989 /
Published: (1990)

Computer networks, architecture and applications : proceedings of the IFIP TC6 conference 1994 /
Published: (1995)

New Advances in Distributed Computer Systems : Proceedings of the NATO Advanced Study Institute held at Bonas, France, June 15-26, 1981 /
by: Beauchamp, K. G.
Published: (1982)

Distributed storage networks : architecture, protocols and management /
by: Jepsen, Thomas C.
Published: (2003)

Distributed storage networks : architecture, protocols and management /
by: Jepsen, Thomas C.
Published: (2003)

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: (2002)

Computer networks and distributed processing, software, techniques, and architecture /
by: Martin, James, 1933-2013
Published: (1981)

Scalable Performance Signalling and Congestion Avoidance /
by: Welzl, Michael
Published: (2003)

Computer networks, architecture and applications : proceedings of the IFIP TC6 conference 1994 /
Published: (1995)

Design of the PSi Header Processor for Xpress Transfer Protocol(XTP) /
by: Rayaprolu, Murthy S., 1964-
Published: (1992)

Optimal routing within large scale distributed computer-communications networks /
by: Greene, William Howard
Published: (1978)

Building QoS into distributed systems : IFIP TC6 WG6.1 Fifth International Workshop on Quality of Service (IWQOS '97), 21-23 May 1997, New York, USA /
Published: (1997)

Guaranteeing synchronous message deadlines in high speed token ring networks with timed token protocol /
Published: (1991)

Content distribution networks : an engineering approach /
by: Verma, D. C. (Dinesh Chandra)
Published: (2002)

Distributed computing : a practical synthesis of networks, client-server systems, distributed applications, and open systems /
by: Umar, Amjad
Published: (1993)