{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T14:26:37Z","timestamp":1725805597131},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662452332"},{"type":"electronic","value":"9783662452349"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-45234-9_23","type":"book-chapter","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T01:28:35Z","timestamp":1411694915000},"page":"320-335","source":"Crossref","is-referenced-by-count":9,"title":["DeltaCCS: A Core Calculus for Behavioral Change"],"prefix":"10.1007","author":[{"given":"Malte","family":"Lochau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Mennicke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hauke","family":"Baller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Ribbeck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1745312.1745316","volume":"32","author":"S. Apel","year":"2008","unstructured":"Apel, S., Hutchins, D.: A Calculus for Uniform Feature Composition. TOPLAS\u00a032, 1\u201333 (2008)","journal-title":"TOPLAS"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A Model-Checking Tool for Families of Services. In: Bruni, R., Dingel, J. (eds.) FMOODS\/FORTE 2011. LNCS, vol.\u00a06722, pp. 44\u201358. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-21461-5_3"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., Lafuente, A.L., Petrocchi, M.: Combining declarative and procedural views in the specification and analysis of product families. In: SPLC 2013 Workshops, pp. 10\u201317. ACM, New York (2013)","DOI":"10.1145\/2499777.2500722"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Bradfield, J., Stirling, C.: Modal mu-Calculi. In: Handbook of Modal Logic, pp. 1\u201330 (2007)","DOI":"10.1075\/hop.11.mod1"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Bravetti, M., Giusto, C.D., P\u00e9rez, J.A., Zavattaro, G.: Adaptable Processes. LMCS\u00a08(4) (2012)","DOI":"10.2168\/LMCS-8(4:13)2012"},{"issue":"2","key":"23_CR6","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1942788.1868298","volume":"46","author":"D. Clarke","year":"2010","unstructured":"Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract Delta Modeling. SIGPLAN Notices\u00a046(2), 13\u201322 (2010)","journal-title":"SIGPLAN Notices"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A.: Symbolic Model Checking of Software Product Lines. In: ICSE 2011, pp. 321\u2013330 (2011)","DOI":"10.1145\/1985793.1985838"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In: ICSE 2010 (2010)","DOI":"10.1145\/1806799.1806850"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","author":"M. Clavel","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"23_CR10","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley Longman Publishing Co., Inc. (2001)"},{"key":"23_CR11","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1145\/2499777.2499781","volume-title":"SPLC 2013 Workshops","author":"M. Cordy","year":"2013","unstructured":"Cordy, M., Classen, A., Heymans, P., Schobbens, P.Y., Legay, A.: Provelines: A product line of verifiers for software product lines. In: SPLC 2013 Workshops, pp. 141\u2013146. ACM, New York (2013)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Cordy, M., Classen, A., Schobbens, P.Y., Heymans, P., Legay, A.: Simulation-Based Abstractions for Software Product-Line Model Checking. In: ICSE 2012 (2012)","DOI":"10.1109\/ICSE.2012.6227150"},{"key":"23_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/11561347_28","volume-title":"Generative Programming and Component Engineering","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping Features to Models: A Template Approach Based on Superimposed Variants. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol.\u00a03676, pp. 422\u2013437. Springer, Heidelberg (2005)"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Damiani, F., Padovani, L., Schaefer, I.: A Formal Foundation for Dynamic Delta-oriented Software Product Lines. In: GPCE 2012 (2012)","DOI":"10.1145\/2371401.2371403"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Erwig, M., Walkingshaw, E.: The Choice Calculus: A Representation for Software Variation. ACM TOSEM (2011)","DOI":"10.1145\/2063239.2063245"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Fischbein, D., Uchitel, S., Braberman, V.A.: A Foundation for Behavioural Conformance in Software Product Line Architectures. In: ISSTA 2006, pp. 39\u201348 (2006)","DOI":"10.1145\/1147249.1147254"},{"key":"23_CR17","first-page":"66","volume-title":"SPLC 2014, SPLC 2012","author":"S. Gnesi","year":"2012","unstructured":"Gnesi, S., Petrocchi, M.: Towards an executable algebra for product lines. In: SPLC 2014, SPLC 2012, pp. 66\u201373. ACM, New York (2012)"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-68863-1_8","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"A. Gruler","year":"2008","unstructured":"Gruler, A., Leucker, M., Scheidemann, K.: Modeling and Model Checking Software Product Lines. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 113\u2013131. Springer, Heidelberg (2008)"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"K.G. Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Modal I\/O Automata for Interface and Product Line Theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Lauenroth, K., Pohl, K., Toehning, S.: Model Checking of Domain Artifacts in Product Line Engineering. In: ASE 2009, pp. 269\u2013280 (2009)","DOI":"10.1109\/ASE.2009.16"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-642-34026-0_11","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"M. Leucker","year":"2012","unstructured":"Leucker, M., Thoma, D.: A Formal Approach to Software Product Families. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part I. LNCS, vol.\u00a07609, pp. 131\u2013145. Springer, Heidelberg (2012)"},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"Li, H.C., Krishnamurthi, S., Fisler, K.: Interfaces for Modular Feature Verification. In: ASE 2002, pp. 195\u2013204 (2002)","DOI":"10.1109\/ASE.2002.1115013"},{"key":"23_CR23","doi-asserted-by":"crossref","unstructured":"Lochau, M., Schaefer, I., Kamischke, J., Lity, S.: Incremental Model-based Testing of Delta-oriented Software Product Lines. In: TAP 2012 (2012)","DOI":"10.1007\/978-3-642-30473-6_7"},{"key":"23_CR24","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, New York (1982)"},{"key":"23_CR25","doi-asserted-by":"crossref","unstructured":"Stirling, C.: An introduction to modal and temporal logics for CCS. Concurrency: Theory, Language, and Architecture (1991)","DOI":"10.1007\/3-540-53932-8_41"},{"key":"23_CR26","first-page":"282","volume":"71","author":"A. Verdejo","year":"2004","unstructured":"Verdejo, A., Mart\u00ed-Oliet, N.: Implementing CCS in Maude 2. ENTCS\u00a071, 282\u2013300 (2004)","journal-title":"ENTCS"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45234-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T23:35:24Z","timestamp":1717371324000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45234-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662452332","9783662452349"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45234-9_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}