Residual for Component Specifications

Electronic Notes in Theoretical Computer Science

Volumn 215, Issue C, 2008, Pages 93-110

  Raclet, Jean Baptiste ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Behavioral interface; Behavioral reuse; Component based design; Modal and acceptance specifications; Residual of specifications

Indexed keywords

(+ MOD 2N) OPERATION; COMPONENT REUSE; COMPONENT SPECIFICATIONS; ELSEVIER (CO); LIVENESS; WEAK FORM;

SPECIFICATIONS;

EID: 46049086746     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.06.023     Document Type: Article

References (14)

1. Arnold A., Vincent A., and Walukiewicz I. Games for synthesis of controllers with partial observation. Theoretical Computer Science 303 (2003) 7-34
2. Canal C., Murillo J.M., and Poizat P. Software adaptation. L'Objet 12 (2006) 9-31
3. de Alfaro, L. and T.A. Henzinger, Interface automata, in: ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering (2001), pp. 109-120
4. Duboc C. Mixed product and asynchronous automata. Theor. Comput. Sci. 48 (1986) 183-199
5. El-Fakih K., Yevtushenko N., Buffalov S., and von Bochmann G. Progressive solutions to a parallel automata equation. Theoretical Computer Science 362 (2006) 17-32
6. Feuillade G., and Pinchinat S. Modal specifications for the control theory of discrete event systems. J. of Discrete Event Dynamic Systems 17 (2007)
7. Hennessy M. Acceptance trees. J. ACM 32 (1985) 896-928
8. Kumar R., Nelvagal S., and Marcus S.I. A discrete event systems approach for protocol conversion. Discrete Event Dynamic Systems 7 (1997) 295-315
9. Larsen K.G. Modal specifications. Automatic Verification Methods for Finite State Systems (1989) 232-246
10. Larsen K.G., and Xinxin L. Equation solving using modal transition systems. Proceedings of the Fifth Annual IEEE Symp. on Logic in Computer Science. LICS 1990 (1990) 108-117
11. Merlin P., and von Bochmann G. On the construction of submodule specifications and communication protocols. ACM Trans. on Programming Languages and Systems 5 (1983) 1-25
12. Parrow J. Submodule construction as equation solving in ccs. Theoretical Computer Science 68 (1987) 175-202
13. Raclet, J.-B., Residual for component specifications, Research Report 6196, INRIA (2007)
14. Yevtushenko N., Villa T., Brayton R.K., Petrenko A., and Sangiovanni-Vincentelli A.L. Solution of parallel language equations for logic synthesis. Proceedings of the International Conference on Computer-Aided Design (2001) 103-110