Submodule construction from concurrent system specifications

Information and Software Technology

Volumn 41, Issue 8, 1999, Pages 499-506

  Haghverdi, E ^a   Ural, H ^a  

^a Multimedia and Mobile Agent Research Laboratory School of Information Technology and Engineering (SITE)   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONCURRENT ENGINEERING; FINITE AUTOMATA; NETWORK PROTOCOLS; NUMERICAL ANALYSIS;

PREFIXED CLOSED FINITE STATE MACHINE; STEPWISE REFINEMENT TECHNIQUE; SUBMODULE CONSTRUCTION PROBLEM; SYSTEM SPECIFICATION;

COMPUTATION THEORY;

EID: 0032643110     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(99)00014-2     Document Type: Article

References (11)

1. Brand D., Zafiropulo P. On communicating finite-state machines. Journal of ACM. 30:(2):1983;323-342.
2. Haghverdi E., Inan K. Verification by consecutive projections. Diaz M., Groz R. Proceedings of Formal Description Techniques, V (C-10). 1992;478 Elsevier.
3. Hopcroft J.E., Ullman J.D. Introduction to Automata Theory, Languages, and Computation. 1979;Addison-Wesley, Reading, MA.
4. Merlin P., Bochmann G.V. On the construction of submodule specification and communication protocols. ACM Trans. Prog. Lang. Sys. 5:(1):1983;1-25.
5. Milner R. A calculus of communicating systems. Lecture Notes in Computer Science. 92:1980;Springer, Berlin.
6. Milner R. Communication and Concurrency. 1989;Prentice-Hall.
7. Parrow J. Submodule construction as equation solving in CCS. Theoretical Computer Science. 68:1989;175-202.
8. Probert R.L., Saleh K. Synthesis of communication protocols: survey and assessment. IEEE Trans. on Computers. 40:(4):1991;468-476.
9. Qin H., Lewis P. Factorization of finite state machines under observation equivalence. Proceedings of International Workshop on Automatic Verification Methods for Finite State Systems, Grenoble, France. Lecture Notes in Computer Science. 407:1989;Springer, Berlin.
10. Saleh K. Synthesis of communication protocols: an annotated bibliography. ACM SIGCOMM Computer Communications Review. 26:(5):1996;40-59.
11. Shields M.W. Implicit system specification and the interface equation. The Computer Journal. 32:(5):1989;399-412.