Progressive Solutions to a Parallel Automata Equation-Reference-Cited by-同舟云学术

Progressive Solutions to a Parallel Automata Equation

Published:2003 Issue: Volume: Page:367-382
ISSN:0302-9743
Container-title:Formal Techniques for Networked and Distributed Systems - FORTE 2003
language:
Short-container-title:

Author:

Buffalov Sergey,El-Fakih Khaled,Yevtushenko Nina,Bochmann Gregor v.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-39979-7_24

Reference14 articles.

1. Barrett, G., Lafortune, S.: Bisimulation: The Supervisory Control Problem, and Strong Model Matching for Finite State Machines. Discrete Event Dynamic Systems: Theory and Application 8(4), 377–429 (1998)

2. Bochmann G.v., Merlin, P.: On the Construction of Communication Protocols. In: ICCC, pp. 371–378 (1980); reprinted in: Sunshine, C. (ed.): Communication Protocol Modeling. Artech House Publ. (1981)

3. Drissi, J., Bochmann, G.v.: Submodule Construction for Systems of I/O Automata, ftp://beethoven.site.uottawa.ca/Publications/Dris99b.pdf

4. Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)

5. Kelekar, S.G.H.: Synthesis of Protocols and Protocol Converters Using the Submodule Construction Approach. In: Danthine, A., et al. (eds.) Proc. PSTV, XIII (1994)

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

1. Automated Synthesis of Protocol Converters with BALM-II;Software Engineering and Formal Methods;2015

2. Design of reactive algorithms by solving equations over automata;Cybernetics and Systems Analysis;2012-07

3. Using logic to solve the submodule construction problem;Discrete Event Dynamic Systems;2012-01-28

4. Compositionally Progressive Solutions of Synchronous FSM Equations;Discrete Event Dynamic Systems;2007-11-07

5. Approximation of sets of superwords by L-language formulas;Cybernetics and Systems Analysis;2007-11