Cover Image

Formal description techniques, II : proceedings of the IFIP TC/WG 6.1 [as printed] Second International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '89, Vancouver, Canada, 5-8 December 1989 /

Bibliographic Details
Corporate Authors:	IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols Vancouver, B.C., IFIP Working Group 6.1
Other Authors:	Vuong, Son T.
Format:	Conference Proceeding Book
Language:	English
Published:	Amsterdam ; New York : North-Holland, 1990.
Subjects:	Computer programming > Congresses. Formal language > Congresses.

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 techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September 1988 /
Published: (1989)

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 of programming concepts--II : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 /
Published: (1983)

Formal description of programming concepts--III : proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, Ebberup, Denmark, 25-28 August 1986 /
Published: (1987)

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)

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)

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 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 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 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 2004 : 24th IFIP WG 6.1 International conference, Madrid, Spain, September 27-30, 2004 : proceedings /
Published: (2004)

Formal aspects in security and trust : IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France /
Published: (2005)

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 language theory : perspectives and open problems /
Published: (1980)

Functionalism and formalism in linguistics /
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 distributed systems : joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 30th IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings /
Published: (2011)

Formal languages.
by: Salomaa, Arto
Published: (1973)

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 specification : techniques and applications /
by: Nissanke, Nimal
Published: (1999)

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 language theory : perspectives and open problems /
Published: (1980)

Formal methods : foundations and applications ; 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers /
Published: (2009)

Formal languages and applications /
Published: (2004)

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

Varieties of formal languages /
by: Pin, Jean Eric
Published: (1986)

Introduction to formal languages /
by: Révész, György E.
Published: (1983)

Formal languages and applications /
Published: (2004)

Handbook of formal languages /
Published: (1997)

Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /
Published: (2004)

A first course in formal language theory /
by: Rayward-Smith, V. J.
Published: (1983)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
Published: (2005)

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)

Automata, formal languages and algebraic systems : proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /
Published: (2010)

Formal grammar : theory and implementation /
Published: (1992)

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)

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)