{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T13:02:53Z","timestamp":1772024573045,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540751311","type":"print"},{"value":"9783540751328","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75132-8_13","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T05:32:01Z","timestamp":1188538321000},"page":"156-170","source":"Crossref","is-referenced-by-count":5,"title":["Hierarchical Verification in Maude of LfP Software Architectures"],"prefix":"10.1007","author":[{"given":"Chadlia","family":"Jerad","sequence":"first","affiliation":[]},{"given":"Kamel","family":"Barkaoui","sequence":"additional","affiliation":[]},{"given":"Amel","family":"Grissa Touzi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Garlan, D.: Software architecture. Encyclopedia of Software Engineering, School of computer science, Carnegie Mellon University (2001)","DOI":"10.1002\/0471028959.sof012"},{"key":"13_CR2","unstructured":"Leucker, M.: Rewriting logic as a framework for building generic tools for verifying concurrent systems. RWTH Aachen, Germany (1998), URL: citeseer.ist.psu.edu\/leucker98rewriting.html"},{"key":"13_CR3","unstructured":"Clavel, M., et al.: Maude manuel (version 2.1) (March 2004)"},{"key":"13_CR4","unstructured":"Malcolm, G., Goguen, J.: Proving correctness of refinement and implementation. Technical report, Oxford University (January 1996)"},{"key":"13_CR5","unstructured":"Gilliers, F.: D\u00e9veloppement par prototypage et G\u00e9n\u00e9ation de Code \u00e0 partir de LfP, un langage de mod\u00e9lisation de haut niveau. PhD thesis, Pierre et Marie Curie University, Paris VI, France (2005)"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1109\/RSP.2005.34","volume-title":"Proceedings the 16th IEEE International Workshop on Rapid System Prototyping","author":"C. Jerad","year":"2005","unstructured":"Jerad, C., Barkaoui, K.: On the use of rewriting logic for verification of distributed software architecture description based lfp. In: Proceedings the 16th IEEE International Workshop on Rapid System Prototyping, Montreal, Canada, June 2005, pp. 202\u2013208. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"13_CR7","unstructured":"Jerad, C., Barkaoui, K., Grissa Touzi, A.: V\u00e9rification des architectures de systmes distribu\u00e9s par utilisation du ltl model checker de maude. In: 8th African Conference on Research in Computer Science, Cotonou, Benin, pp. 99\u2013106 (November 2006)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Richard, N., Medvidovic, N., Taylor: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering\u00a026(1) (January 2000)","DOI":"10.1109\/32.825767"},{"key":"13_CR9","unstructured":"Kenney, J.J.: Executable Formal Models of Distributed Transaction Systems Based on Event Processing. PhD thesis, Department of Electrical Engineering, Stanford University, USA (June 1996)"},{"key":"13_CR10","unstructured":"Allen, R.J.: A Formal Approach to Software Architecture. PhD thesis, School of Computer Science, Carnegie Mellon University, USA (May 1997)"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Regep, D., Kordon, F.: LfP: A specification language for rapid prototyping of concurrent systems. In: 12th International Workshop on Rapid System Prototyping, Monterey, California, pp. 90\u201396 (2001)","DOI":"10.1109\/IWRSP.2001.933844"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1007\/BFb0039072","volume-title":"CONCUR \u201990","author":"J. Meseguer","year":"1990","unstructured":"Meseguer, J.: Rewriting as a unified model of concurrency. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 384\u2013400. Springer, Heidelberg (1990)"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR \u201996: Concurrency Theory","author":"J. Meseguer","year":"1996","unstructured":"Meseguer, J.: Rewriting logic as a semantic framework for concurrency. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, Springer, Heidelberg (1996)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Marti-Oliet, N., Meseguer, J.: Rewriting logic: Roadmap and bibliography. Theoretical Computer Science (June 2001)","DOI":"10.1016\/S0304-3975(01)00357-7"},{"key":"13_CR15","unstructured":"Gilliers, F.: Description de la s\u00e9mantique du langage LfP. Work document, RNTL MOSE Project MORSE-SRS-031114-V0.15-FGI, Pierre et Marie Curie University, LIP6, France (June 2003)"},{"key":"13_CR16","unstructured":"MORSE project web site, http:\/\/www.lip6.fr\/morse\/"},{"key":"13_CR17","unstructured":"Wegmann, A., Naumenko, A.: Conceptual modelling of complex systems using an rm-odp based ontology. In: 5th International Enterprise Distributed Object Computing Conference, Seattle, USA, pp. 27\u201334 (September 2001)"}],"container-title":["Lecture Notes in Computer Science","Software Architecture"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75132-8_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T23:44:42Z","timestamp":1684021482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75132-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540751311","9783540751328"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75132-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}