{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:03:29Z","timestamp":1725483809743},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425670"},{"type":"electronic","value":"9783540448112"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44811-x_32","type":"book-chapter","created":{"date-parts":[[2007,5,3]],"date-time":"2007-05-03T18:18:30Z","timestamp":1178216310000},"page":"296-305","source":"Crossref","is-referenced-by-count":1,"title":["Testing Collaborative Agents Defined as Stream X-Machines with Distributed Grammars"],"prefix":"10.1007","author":[{"given":"Tudor","family":"B\u2190\u21adescu","sequence":"first","affiliation":[]},{"given":"Marian","family":"Gheorghe","sequence":"additional","affiliation":[]},{"given":"Mike","family":"Holcombe","sequence":"additional","affiliation":[]},{"given":"Florentin","family":"Ipate","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,8,30]]},"reference":[{"key":"32_CR1","volume-title":"The Theory of Parsing, Translation and Compiling, Vol. I: Parsing","author":"A. Aho","year":"1972","unstructured":"A. Aho, J. Ullman, The Theory of Parsing, Translation and Compiling, Vol. I: Parsing, Prentice-Hall, Englewood Cliffs, N.J, 1972."},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"T. Balanescu, Generalized stream X-machines with output delimited type, Formal Aspects of Computer Science, accepted, 2001.","DOI":"10.1007\/s001650070006"},{"issue":"9","key":"32_CR3","first-page":"492","volume":"5","author":"T. Balanescu","year":"1999","unstructured":"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\u2013507.","journal-title":"J. of Universal Computer Sci."},{"key":"32_CR4","unstructured":"T. Balanescu, H. Georgescu, M. Gheorghe, Stream X-machines with underlying Distributed Grammars, submitted 2001."},{"key":"32_CR5","unstructured":"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\u2013111."},{"key":"32_CR6","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G. Bernot","year":"1991","unstructured":"G. Bernot, M. Gaudel, B. Marre, Software testing based on formal specifications: a theory and a tool, Software Engineering Journal, 6(1991), 387\u2013405.","journal-title":"Software Engineering Journal"},{"issue":"3","key":"32_CR7","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"T.S. Chow, Testing software design modelled by finite-state machines, IEEE Transactions on Software Engineering, 4,3(1978), 178\u2013187.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"32_CR8","volume-title":"Grammar Systems. A Grammatical Approach to Distribution and Cooperation","author":"E. Csuhaj-Varju","year":"1994","unstructured":"E. Csuhaj-Varju, J. Dassow, J. Kelemen, Gh. Paun, Grammar Systems. A Grammatical Approach to Distribution and Cooperation, Gordon and Breach, London, 1994."},{"key":"32_CR9","unstructured":"S. Eilenberg, Automata, languages, and machines, Vol. A, Academic Press, 1974."},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"M. Gheorghe, Generalized Stream X-machines and Cooperating Distributed Grammar Systems, Formal Aspects of Computer Science, accepted, 2001.","DOI":"10.1007\/s001650070005"},{"key":"32_CR11","unstructured":"A. Gill, Introduction to the Theory of Finite-State Machines, McGraw-Hill, 1962."},{"key":"32_CR12","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1049\/sej.1988.0009","volume":"3","author":"M. Holcombe","year":"1988","unstructured":"M. Holcombe, X-machines as a basis for dynamic system specification, Software Engineering Journal 3(1988), 69\u201376.","journal-title":"Software Engineering Journal"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"M. Holcombe, Computational models of cells and tissues-machines, agents and fungal infection, presented at UCL, London 15\u201316 Feb, 2001, submitted to Briefings in Bioinformatics.","DOI":"10.1093\/bib\/2.3.271"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"M. Holcombe, F. Ipate, Correct Systems: Building a Business Process Solution, Springer Verlag, 1998.","DOI":"10.1007\/978-1-4471-3435-0"},{"key":"32_CR15","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1080\/00207169708804559","volume":"69","author":"F. Ipate","year":"1997","unstructured":"F. Ipate, M. Holcombe, An Integration Testing Method That is Proved to Find all Faults, Intern. J. Computer Math, Vol 69 (1997), 159\u2013178.","journal-title":"Intern. J. Computer Math"},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"F. Ipate, M. Holcombe, Generating test sets from non-deterministic stream X-machines, Formal Aspects of Computer Science, accepted, 2001.","DOI":"10.1007\/s001650070004"},{"key":"32_CR17","unstructured":"P. Kefalas, Modelling an Agent Reactive Architecture with X-Machines, Technical Report, CITY Liberal Studies, 2000."},{"key":"32_CR18","unstructured":"Formal Models of Agents, (J-J. Ch Meyer, P-Y. Schobbens eds), Springer Verlag, LNAI 1760, 1999."},{"issue":"1","key":"32_CR19","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/jcss.1999.1693","volume":"61","author":"Gh. Paun","year":"2000","unstructured":"Gh. Paun, Computing with membranes, Journal of Computer and System Sciences, 61,1 (2000), 108\u2013143.","journal-title":"Journal of Computer and System Sciences"},{"key":"32_CR20","series-title":"Topics in Computer Mathematics","volume-title":"Grammatical models of multi-agent systems","year":"1999","unstructured":"Grammatical models of multi-agent systems, (Gh. Paun, A. Salomaa eds), Topics in Computer Mathematics 8, Gordon and Breach Science, Amsterdam, 1999."},{"key":"32_CR21","unstructured":"A. S. Rao and M. P. Georgeff, BDI Agents: From Theory to Practice, in Proceedings of the 1st International Conference on Multi-Agent Systems, San Francisco, USA, 1995, 312\u2013319."},{"issue":"2","key":"32_CR22","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"M. Wooldridge, N.R. Jennings, Intelligent Agents-Theory and Practice, Knowledge Engineering Review, 10,2(1995), 115\u2013152.","journal-title":"Knowledge Engineering Review"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Life"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44811-X_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T18:14:59Z","timestamp":1683828899000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44811-X_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425670","9783540448112"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-44811-x_32","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}