Formal description techniques, V111 proceeding the IFIP TC6/WG6.1 Eighth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol

Formal description techniques, V111 proceeding the IFIP TC6/WG6.1 Eighth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol

Saved in:

Bibliographic Details
Corporate Author:	International Federation for Information Processing
Other Authors:	Diaz, Michel 1945-, Groz, Roland
Format:	Book
Published:	London Chapman & Hall 1996
Series:	IFIP transactions. C-10
Subjects:	Computer network protocols > Congresses Formal languages > Congresses Electronic data processing > Congresses > Distributed processing
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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)

Formal description of programming concepts proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977
Published: (1986)

Formal description techniques, IV proceedings of the ... FORTE '91, Sydney, Australia, 19-22 November 1991
Published: (1992)

Formal description techniques, II proceedings of the ... FORTE '89, Vancouver, Canada, 5-8 December 1989
Published: (1990)

Using formal description techniques an introduction to Estelle, LOTOS, and SDL
Published: (1993)

Protocol test systems, V proceedings of the IFIP TC6/WG6.1 fifth Working Conference on Protocal Test Systems, Montreal, Quebec, Canada, 28-30 September 1992
Published: (1993)

Open distributed processing proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, Berlin, Germany, 8-11 October 1991
Published: (1992)

Protocol specification, testing and verification, XIII proceedings of the IFIP TC6/WG6.1 thirteenth International Symposium on Protocol Specification, Testing, and Verification
Published: (1993)

Formal languages
by: Salomaa, Arto
Published: (1987)

Network information processing systems proceedings of the IFIP TC6/TC8 Open Symposium on Network Information Processing Systems, Sofia, Bulgaria, 9-13 May, 1988
Published: (1989)

Lectures on formal methods and performance analysis revised lectures/first EEF summer school on trends in computer science, July 3 - 7, 2000
Published: (2001)

Formal groups and applications
by: Hazewinkel, Michiel
Published: (1978)

Formal models and practical tools for information systems design proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979
Published: (1979)

Testamentary formalities
Published: (2011)

Protocols for high-speed networks, III proceedings of the IFIP WG 6.1/WG 6.4 Third International Workshop on Protocols for High-Speed Networks, Stockholm, Sweden, 13-15 May, 1992
Published: (1993)

Formal modeling and analysis of timed systems 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings
Published: (2010)

Semigroups algebraic theory applications to formal languges and codes
Published: (1993)

Theory of formal languages with applications
by: Simovici, Dan A.
Published: (1999)

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

Decentralized and distributed systems proceedings of the ..., 13-17 September 1993
Published: (1993)

Applications in parallel and distributed computing proceedings of the IFIP WG10.3 Working Conference on Applications in Parallel and Distributed Computing, Caracas, Venezuela, 18-22 April, 1994
Published: (1994)

Decentralized systems proceedings of the IFIP WG 10.3 Working Conference on Decentralized Systems, Lyon, France, 11-13 December 1989
Published: (1990)

Protocol specification, testing, and verification proceedings of the IFIP WG 6.1 Second International Workshop on Protocol Specification, Testing, and Verification, organized by USC/ISI, Idyllwild, California, U.S.A., 17-20 May 1982
Published: (1982)

Algebraic and automata-theoretic properties of formal languages
by: Ginsburg, Seymour 1927-
Published: (1975)

Distributed algorithms sroceedings of the ... held in Nice, France, September 26-28, 1989
Published: (1989)

Understanding formal methods
by: Monin, Jean Fran?cois 1960-
Published: (2003)

DISTRIBUTED AND PARALLEL EMBEDDED SYSTEM
Published: (1999)

Protocol test systems, III proceedings of the IFIP TC6 Third International Workshop on Protocol Test Systems
Published: (1991)

Distributed algorithms 6th international workshop, WDAG '92, Haifa, Israel, November 2-4, 1992 : proceedings
Published: (1992)

Management of distributed data processing proceedings of the International Conference on Management of Distributed Data Processing held in Paris, France, 23-26 June, 1982
Published: (1982)

Information systems theoretical and formal aspects: proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, ...
Published: (1985)

Open distributed processing experiences with distributed environments proceedings of the ... held February 1995
Published: (1995)

An introduction to formal languages and automata
by: Linz, Peter
Published: (2001)

An introduction to formal languages and automata
by: Linz, Peter
Published: (2012)

An introduction to formal languages and automata
by: Linz, Peter
Published: (2012)

Distributed computing and networking 9th international conference, ICDCN 2008, Kolkata, India, January 5-8, 2008 : proceedings
by: Rao, Shrisha, et al.
Published: (2008)

Pendidikan non formal pengelaman Kolombia, Kuba, Kenya dan Indonesia dalam pembangunan masyarakat desa
by: Faisal, Sanapiah

Computer networking proceedings of the IFIP TC 6 Conference on Computer Networking, COMNET '90, Budapest, Hungary, 8-10 May, 1990
Published: (1990)

Parallel and distributed processing '91 proceedings of the ... held on 16-19 April 1991
Published: (1992)

Declarative systems proceedings of the IFIP TC 10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems, Budapest, Hungary, 16-20 October, 1988
Published: (1990)