{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T19:12:13Z","timestamp":1769281933313,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540075448","type":"print"},{"value":"9783540380764","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-38076-0_21","type":"book-chapter","created":{"date-parts":[[2007,6,2]],"date-time":"2007-06-02T22:30:01Z","timestamp":1180823401000},"page":"316-335","source":"Crossref","is-referenced-by-count":6,"title":["Communicating X-Machines: From Theory to Practice"],"prefix":"10.1007","author":[{"given":"Petros","family":"Kefalas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Eleftherakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evangelos","family":"Kehris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,25]]},"reference":[{"key":"21_CR1","unstructured":"Eilenberg S.: \u201cAutomata Machines and Languages\u201d, Vol.A, Academic Press, 1974. 317"},{"issue":"2","key":"21_CR2","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1049\/sej.1988.0009","volume":"3","author":"M. Holcombe","year":"1988","unstructured":"Holcombe M.: \u201cX-machines as a Basis for Dynamic System Specification\u201d, Software Engineering Journal, Vol.3, No.2, pp.69\u201376, 1988. 317","journal-title":"Software Engineering Journal"},{"issue":"4","key":"21_CR3","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E. Clarke","year":"1996","unstructured":"Clarke E.and Wing J.M.: \u201cFormal Methods: State of the Art and Future Directions\u201d, ACM Computing Surveys, Vol.28, No.4, pp.626\u2013643, 1996. 317","journal-title":"ACM Computing Surveys"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1002\/(SICI)1099-1689(199806)8:2<61::AID-STVR154>3.0.CO;2-W","volume":"8","author":"F. Ipate","year":"1998","unstructured":"Ipate F.and Holcombe M.: \u201cSpecification and Testing using Generalised Machines: a Presentation and a Case Study\u201d, Software Testing, Verification and Reliability, Vol.8, pp.61\u201381, 1998. 318, 319","journal-title":"Software Testing, Verification and Reliability"},{"key":"21_CR5","unstructured":"Kehris E., Eleftherakis G. and Kefalas P.: \u201cUsing X-machines to Model and Test Discrete Event Simulation Programs\u201d, In \u201cSystems and Control: Theory and Applications\u201d by N. Mastorakis (ed.), World Scientific, pp.163\u2013168, 2000. 319"},{"key":"21_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3435-0","volume-title":"Correct Systems: Building a Business Process Solution","author":"M. Holcombe","year":"1998","unstructured":"Holcombe M. and Ipate F.: \u201cCorrect Systems: Building a Business Process Solution\u201d, Springer Verlag, London, 1998. 319"},{"key":"21_CR7","unstructured":"Eleftherakis G., Kefalas P. and Sotiriadou A.: \u201cXmCTL: Extending Temporal Logic to Facilitate Formal Verification of X-Machines Models\u201d, Annales Univerisitate Bucurest Matematica Informatica, Annul L, pp.79\u201395, 2002. 319, 334"},{"issue":"9","key":"21_CR8","first-page":"494","volume":"5","author":"T. Balanescu","year":"1999","unstructured":"Balanescu T., Cowling A. J., Gheorgescu H., Gheorghe M., Holcombe M. and Vertan C.: \u201cCommunicating Stream X-machines Systems are no Mmore than Xmachines\u201d, Journal of Universal Computer Science, Vol.5, No.9, pp.494\u2013507, 1999. 319, 324, 332","journal-title":"Journal of Universal Computer Science"},{"issue":"5","key":"21_CR9","first-page":"490","volume":"6","author":"H. Gheorgescu","year":"2000","unstructured":"Gheorgescu H. and Vertan C.: \u201cA New Approach to Communicating X-machines Systems\u201d, Journal of Universal Computer Science, Vol.6, No.5, pp.490\u2013502, 2000. 319, 332","journal-title":"Journal of Universal Computer Science"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0950-5849(98)00053-6","volume":"40","author":"J. Barnard","year":"1998","unstructured":"Barnard J.: \u201cCOMX: a Design Methodology using Communicating X-machines\u201d, Information and Software Technology, Vol.40, pp.271\u2013280, 1998. 319, 320, 332","journal-title":"Information and Software Technology"},{"key":"21_CR11","unstructured":"Kefalas P., Eleftherakis G., Holcombe M. and Gheorghe M.: \u201cSimulation and Verification of P Systems using Communicating X-Machines\u201d, Biosystems, to appear. 319"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Kefalas P. and Kapeti E.: \u201cA Design Language and Tool for X-machines Specification\u201d, In \u201cAdvances in Informatics\u201d by D.I. Fotiadis and S.D. Nikolopoulos (eds.), World Scientific, pp.134\u2013145, 2000. 324","DOI":"10.1142\/9789812793928_0012"},{"key":"21_CR13","unstructured":"Kefalas P.: \u201cAutomatic Translation from X-machines to Prolog\u201d, TR-CS01\/00, Dept.of Computer Science, CITY Liberal Studies, 2000. 324, 334"},{"key":"21_CR14","unstructured":"Kefalas P. and Sotiriadou A.: \u201cA Complier that Transforms X-machines Specification to Z\u201d, TR-CS06\/00, Dept.of Computer Science, CITY Liberal Studies, 2000. 324, 334"},{"key":"21_CR15","unstructured":"Kefalas P., Eleftherakis G. and Kehris E.: \u201cModular Modelling of Large Scale Systems using Communicating X-Machines\u201d, Proceedings 8th Panhellenic Conference in Informatics, pp.20\u201329, 2001 332"},{"key":"21_CR16","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0303-2647(01)00164-2","volume":"61","author":"M. Georghe","year":"2001","unstructured":"Georghe M., Holcombe M. and Kefalas P.: \u201cComputational Models for Collective Foraging\u201d, BioSystems, Vol.61, pp.133\u2013141, 2001. 334","journal-title":"BioSystems"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Kefalas P.: \u201cFormal Modelling of Reactive Agents as an Aggregation of Simple Behaviours\u201d, Proceedings 2nd Hellenic Conference on AI (SETN-02), pp.461\u2013472, 2002. 334","DOI":"10.1007\/3-540-46014-4_41"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Kefalas P., Holcombe M., Eleftherakis G. and Gheorghe M.: \u201cA Formal Method for the Development of Agent-Based Systems\u201d, In \u201cIntelligent Agent Software Engineering\u201d, by V. Plekhavona (ed.), Idea Group Publishing, pp.68\u201398, 2003. 334","DOI":"10.4018\/978-1-59140-046-2.ch004"}],"container-title":["Lecture Notes in Computer Science","Advances in Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-38076-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:46:34Z","timestamp":1737063994000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-38076-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540075448","9783540380764"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-38076-0_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2003]]}}}