1. A. Aho, J. Ullman,The Theory of Parsing, Translation and Compiling, Vol. I: Parsing, Prentice-Hall, Englewood Cliffs, N.J, 1972.

   Google Scholar 

2. T. Balanescu, Generalized stream X-machines with output delimited type,Formal Aspects of Computer Science, accepted, 2001.

   Google Scholar 

3. T. Balanescu, T. Cowling, H. Georgescu, M. Gheorghe, M. Holcombe, C. Vertan, Communicating Stream X-Machines are more than X-Machines,J. of Universal Computer Sci., 5,9(1999), 492–507.

   MathSciNet  Google Scholar 

4. T. Balanescu, H. Georgescu, M. Gheorghe, Stream X-machines with underlying Distributed Grammars, submitted 2001.

   Google Scholar 

5. T. Balanescu, M. Gheorghe, M. Holcombe, A Subclass of Stream X-machines with Underlying Distributed Grammars,in Proceedings of the International Workshop Grammar Systems 2000, R. Freund and A. Kelemenova (eds), Bad Ischl, Austria, 2000, 93–111.

   Google Scholar 

6. G. Bernot, M. Gaudel, B. Marre, Software testing based on formal specifications: a theory and a tool,Software Engineering Journal, 6(1991), 387–405.

   Article  Google Scholar 

7. T.S. Chow, Testing software design modelled by finite-state machines,IEEE Transactions on Software Engineering, 4,3(1978), 178–187.

   Article  Google Scholar 

8. E. Csuhaj-Varju, J. Dassow, J. Kelemen, Gh. Paun,Grammar Systems. A Grammatical Approach to Distribution and Cooperation, Gordon and Breach, London, 1994.

   MATH  Google Scholar 

9. S. Eilenberg,Automata, languages, and machines, Vol. A, Academic Press, 1974.

   Google Scholar 

10. M. Gheorghe, Generalized Stream X-machines and Cooperating Distributed Grammar Systems,Formal Aspects of Computer Science, accepted, 2001.

    Google Scholar 

11. A. Gill,Introduction to the Theory of Finite-State Machines, McGraw-Hill, 1962.

    Google Scholar 

12. M. Holcombe, X-machines as a basis for dynamic system specification,Software Engineering Journal 3(1988), 69–76.

    Article  Google Scholar 

13. M. Holcombe, Computational models of cells and tissues-machines, agents and fungal infection, presented at UCL, London 15–16 Feb, 2001, submitted toBriefings in Bioinformatics.

    Google Scholar 

14. M. Holcombe, F. Ipate,Correct Systems: Building a Business Process Solution, Springer Verlag, 1998.

    Google Scholar 

15. F. Ipate, M. Holcombe, An Integration Testing Method That is Proved to Find all Faults,Intern. J. Computer Math, Vol 69 (1997), 159–178.

    Article MathSciNet  Google Scholar 

16. F. Ipate, M. Holcombe, Generating test sets from non-deterministic stream X-machines,Formal Aspects of Computer Science, accepted, 2001.

    Google Scholar 

17. P. Kefalas, Modelling an Agent Reactive Architecture with X-Machines,Technical Report, CITY Liberal Studies, 2000.

    Google Scholar 

18. Formal Models of Agents, (J-J. Ch Meyer, P-Y. Schobbens eds), Springer Verlag, LNAI 1760, 1999.

    Google Scholar 

19. Gh. Paun, Computing with membranes,Journal of Computer and System Sciences, 61,1 (2000), 108–143.

    Article MATH MathSciNet  Google Scholar 

20. Grammatical models of multi-agent systems, (Gh. Paun, A. Salomaa eds), Topics in Computer Mathematics 8, Gordon and Breach Science, Amsterdam, 1999.

    MATH  Google Scholar 

21. A. S. Rao and M. P. Georgeff, BDI Agents: From Theory to Practice, inProceedings of the 1st International Conference on Multi-Agent Systems, San Francisco, USA, 1995, 312–319.

    Google Scholar 

22. M. Wooldridge, N.R. Jennings, Intelligent Agents-Theory and Practice,Knowledge Engineering Review, 10,2(1995), 115–152.

    Article  Google Scholar 

Download references