Algebraic specification of synchronisation and errors: A telephonic example-Reference-Cited by-同舟云学术

Algebraic specification of synchronisation and errors: A telephonic example

Published:1985 Issue: Volume: Page:294-308
ISSN:0302-9743
Container-title:Formal Methods and Software Development
language:
Short-container-title:

Author:

Biebow Brigitte,Hagelstein Jacques

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-15199-0_19.pdf

Reference10 articles.

1. M. Bidoit, B. Biebow, M-C. Gaudel, G. Guiho, C. Gresse, "Exception Handling: Formal Specification and Systematic Program Construction", International Conference on Software Engineering, Orlando, Florida, March 1984.

2. M. Bidoit, "Algebraic specification of exception handling and error recovery by means of declarations and equations", Proceedings ICALP 84, LNCS 172.

3. B. Biebow, "Application d'un langage de spécification algébrique à des exemples téléphoniques", 3rd cycle thesis of the University of Paris 6, Paris, France, February 1984.

4. M. Bidoit, M-C. Gaudel, "Etude des méthodes de spécification des cas d'exceptions dans les types abstraits algébriques", Actes du Séminaire d'Informatique Théorique du LITP 1982–1983, Paris 6, Paris, France.

5. F. Boisson, G. Guiho, D. Pavot, "Algèbres à Opérateurs Multicibles", LRI report, Orsay, France, June 1983.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Integrating ASSPEGIQUE and LP;Workshops in Computing;1993

2. Formal specification of telephone systems in LOTOS: the constraint-oriented style approach;Computer Networks and ISDN Systems;1991-03

3. The design and specification of the ASSPEGIQUE database;Design and Implementation of Symbolic Computation Systems;1990

4. How to make algebraic specifications more understandable?;Algebraic Methods: Theory, Tools and Applications;1989

5. The stratified loose approach: A generalization of initial and loose semantics;Recent Trends in Data Type Specification;1988