An association of Algebraic term nets and abstract data types for specifying real communication protocols-Reference-Cited by-同舟云学术

An association of Algebraic term nets and abstract data types for specifying real communication protocols

Published:1991 Issue: Volume: Page:11-30
ISSN:0302-9743
Container-title:Recent Trends in Data Type Specification
language:
Short-container-title:

Author:

Bettaz Mohamed

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-54496-8_2.pdf

Reference26 articles.

1. B. Berthomieu & al., "Abstract Data Nets, Combining Petri Nets and Abstract Data Types for High-Level Specifications of Dis. Systems", 7th Europ. Work on Petri Nets, Oxford, 6/1986

2. M. Bettaz, "Specif. algeb. des protoc. de com.et preuve de leur correction", These de Doctorat d'Etat, Universite Technique de Prague, 1/1984

3. M.Bettaz, "Implement. of Tools for the Specif. and Validation of ADTs: Application to com. protoc., 6th ADT Workshop, Berlin 8/1988

4. J.Billington et al., "Automated Protoc. Verification", In: Protoc. Specif.,Testing and Verif., (ed. M. Diaz), Elsevier Science Publishers B.V. (North-Holland) C IFIP, 1986

5. J. Billington et al., "PROTEAN:A High-Level Petri Net Tool for the Specif.and Verif.of Com. Protoc.",IEEE Transactions on Software Engin., Vol.14, No 3, 3/1988

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

1. Performance comparison of high-level algebraic nets distributed simulation protocols;Journal of Systems Architecture;1998-03

2. On reusing ATNet modules in protocol specification;Journal of Systems and Software;1994-11

3. A SMoLCS based kit for defining high-level algebraic Petri nets;Recent Trends in Data Type Specification;1994

4. How to specify non determinism and true concurrency with algebraic term nets;Recent Trends in Data Type Specification;1993

5. Algebraic specification of concurrency;Recent Trends in Data Type Specification;1993