On the essence and initiality of conflicts in M -adhesive transformation systems
Saved in:
| Published in | Journal of logical and algebraic methods in programming Vol. 109; p. 100482 |
|---|---|
| Main Authors | , , |
| Format | Journal Article |
| Language | English |
| Published |
01.12.2019
|
| Online Access | Get full text |
| ISSN | 2352-2208 |
| DOI | 10.1016/j.jlamp.2019.100482 |
Cover
Loading…
| ArticleNumber | 100482 |
|---|---|
| Author | Grochau Azzi, Guilherme Corradini, Andrea Ribeiro, Leila |
| Author_xml | – sequence: 1 givenname: Guilherme orcidid: 0000-0002-3740-7002 surname: Grochau Azzi fullname: Grochau Azzi, Guilherme – sequence: 2 givenname: Andrea orcidid: 0000-0001-6123-4175 surname: Corradini fullname: Corradini, Andrea – sequence: 3 givenname: Leila surname: Ribeiro fullname: Ribeiro, Leila |
| BookMark | eNot0M1qAjEUBeAsLNRan6CbvMDYm2S0ybJI_0Cxi3YdrpMbzDCTkbmh4NtXa1cHDoez-O7EJA-ZhHhQsFCgVo_tou2wPy40KHduoLZ6IqbaLHWlNdhbMWduAc5T-2SNmorPXZblQJKYKTckMQeZcioJu1ROcoiyGXLsUlP43MutrDAciNMPyTJi5jiMPZY0ZMknLtTzvbiJ2DHN_3Mmvl9fvtbv1Wb39rF-3lSNcq5UeyJdN07bQA4B0ZpA-5UxpIxWar_UUAdnNLigwICOlpCcc6SWFuMqGDMT5vrbjAPzSNEfx9TjePIK_MXCt_7Pwl8s_NXC_AJXy1hI |
| Cites_doi | 10.1017/S0960129512000321 10.1016/j.jsc.2010.09.009 10.3233/FI-1996-263404 10.3233/FI-2012-705 10.1007/s10270-006-0044-6 10.1051/ita:2005028 10.1016/S0304-3975(01)00245-6 10.1016/j.jlamp.2018.11.004 10.1016/j.ijmedinf.2017.04.012 10.1017/S0960129512000357 10.1016/0304-3975(93)90068-5 10.1016/0304-3975(84)90021-5 10.1016/j.entcs.2008.04.026 10.1016/S0304-3975(00)00382-0 10.1016/j.jsc.2010.09.006 10.1017/S0960129501003425 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.jlamp.2019.100482 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| ExternalDocumentID | 10_1016_j_jlamp_2019_100482 |
| GroupedDBID | --M 0R~ 4.4 457 4G. 7-5 8P~ AAEDT AAEDW AAIKJ AAKOC AALRI AAOAW AATTM AAXKI AAXUO AAYFN AAYWO AAYXX ABBOA ABJNI ABMAC ABXDB ACDAQ ACGFS ACRLP ACVFH ADBBV ADCNI ADEZE ADVLN AEBSH AEIPS AEKER AENEX AEUPX AFJKZ AFPUW AFTJW AFXIZ AGCQF AGHFR AGRNS AGUBO AIALX AIEXJ AIGII AIIUN AIKHN AITUG AKBMS AKRWK AKYEP ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AOUOD AXJTR BKOJK BLXMC BNPGV CITATION EBS EFJIC EJD FDB FIRID FYGXN GBLVA GBOLZ HZ~ KOM M41 O9- OAUVE RIG ROL SPC SPCBC SSH SSV SSZ T5K ~G- |
| ID | FETCH-LOGICAL-c199t-bee24c928de9a0aa83deb633e13211b5204d93209d10302f8eae999e158af6d33 |
| ISSN | 2352-2208 |
| IngestDate | Tue Jul 01 00:37:50 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c199t-bee24c928de9a0aa83deb633e13211b5204d93209d10302f8eae999e158af6d33 |
| ORCID | 0000-0001-6123-4175 0000-0002-3740-7002 |
| ParticipantIDs | crossref_primary_10_1016_j_jlamp_2019_100482 |
| ProviderPackageCode | CITATION AAYXX |
| PublicationCentury | 2000 |
| PublicationDate | 2019-12-00 |
| PublicationDateYYYYMMDD | 2019-12-01 |
| PublicationDate_xml | – month: 12 year: 2019 text: 2019-12-00 |
| PublicationDecade | 2010 |
| PublicationTitle | Journal of logical and algebraic methods in programming |
| PublicationYear | 2019 |
| References | Löwe (10.1016/j.jlamp.2019.100482_br0490) 2010; vol. 6372 Corradini (10.1016/j.jlamp.2019.100482_br0150) 2006 Corradini (10.1016/j.jlamp.2019.100482_br0160) 1997 Deckwerth (10.1016/j.jlamp.2019.100482_br0180) 2017 Löwe (10.1016/j.jlamp.2019.100482_br0500) 2018; vol. 10887 Baldan (10.1016/j.jlamp.2019.100482_br0060) 2011; 46 Oliveira (10.1016/j.jlamp.2019.100482_br0550) 2014; vol. 9463 Mehner (10.1016/j.jlamp.2019.100482_br0520) 2009 Orejas (10.1016/j.jlamp.2019.100482_br0570) 2010; 30 Bucchiarone (10.1016/j.jlamp.2019.100482_br0080) 2009 Ehrig (10.1016/j.jlamp.2019.100482_br0230) 2014; 24 Lambers (10.1016/j.jlamp.2019.100482_br0420) 2019; 103 Lambers (10.1016/j.jlamp.2019.100482_br0470) 2018 Ehrig (10.1016/j.jlamp.2019.100482_br0200) 2006; 74 Hausmann (10.1016/j.jlamp.2019.100482_br0350) 2002 Lack (10.1016/j.jlamp.2019.100482_br0400) 2005; 39 Habel (10.1016/j.jlamp.2019.100482_br0320) 2001; 11 Corradini (10.1016/j.jlamp.2019.100482_br0120) 2017; vol. 10373 Habel (10.1016/j.jlamp.2019.100482_br0340) 2012; vol. 7562 Plump (10.1016/j.jlamp.2019.100482_br0610) 2018; vol. 10800 Corradini (10.1016/j.jlamp.2019.100482_br0140) 2016; vol. 9761 Orejas (10.1016/j.jlamp.2019.100482_br0560) 2011; 46 MacLane (10.1016/j.jlamp.2019.100482_br0510) 2012 Lambers (10.1016/j.jlamp.2019.100482_br0440) 2006 Jayaraman (10.1016/j.jlamp.2019.100482_br0360) 2007; vol. 4735 Lambers (10.1016/j.jlamp.2019.100482_br0450) 2008; 211 Plump (10.1016/j.jlamp.2019.100482_br0600) 2005; vol. 3838 (10.1016/j.jlamp.2019.100482_br0630) 1997 Gabriel (10.1016/j.jlamp.2019.100482_br0290) 2014; 24 Corradini (10.1016/j.jlamp.2019.100482_br0110) 2015; vol. 9151 Corradini (10.1016/j.jlamp.2019.100482_br0130) 2018; vol. 10800 Deckwerth (10.1016/j.jlamp.2019.100482_br0190) 2014; vol. 8571 Ehrig (10.1016/j.jlamp.2019.100482_br0210) 2006 Ehrig (10.1016/j.jlamp.2019.100482_br0250) 2004 Taentzer (10.1016/j.jlamp.2019.100482_br0660) 2010; vol. 6372 Ehrig (10.1016/j.jlamp.2019.100482_br0280) 1973 Löwe (10.1016/j.jlamp.2019.100482_br0480) 1993; 109 Ehrig (10.1016/j.jlamp.2019.100482_br0270) 1976 Kulcsár (10.1016/j.jlamp.2019.100482_br0390) 2015; vol. 181 Mens (10.1016/j.jlamp.2019.100482_br0530) 2006; vol. 4409 Cockett (10.1016/j.jlamp.2019.100482_br0100) 2003; 294 Ehrig (10.1016/j.jlamp.2019.100482_br0240) 2010; 102 Ehrig (10.1016/j.jlamp.2019.100482_br0220) 2012; 118 Schürr (10.1016/j.jlamp.2019.100482_br0640) 1994; vol. 903 Raoult (10.1016/j.jlamp.2019.100482_br0620) 1984; 32 Habel (10.1016/j.jlamp.2019.100482_br0300) 1996; 26 Anjorin (10.1016/j.jlamp.2019.100482_br0020) 2015; 73 Cockett (10.1016/j.jlamp.2019.100482_br0090) 2002; 270 Habel (10.1016/j.jlamp.2019.100482_br0310) 1998; vol. 1764 Lambers (10.1016/j.jlamp.2019.100482_br0430) 2018; vol. 10800 Plump (10.1016/j.jlamp.2019.100482_br0580) 1993 Whittle (10.1016/j.jlamp.2019.100482_br0670) 2009 Born (10.1016/j.jlamp.2019.100482_br0070) 2017; vol. 10373 Johnstone (10.1016/j.jlamp.2019.100482_br0370) 2002 Lambers (10.1016/j.jlamp.2019.100482_br0460) 2014; vol. 8571 Plump (10.1016/j.jlamp.2019.100482_br0590) 1994; vol. 841 Knuth (10.1016/j.jlamp.2019.100482_br0380) 1970 Cota (10.1016/j.jlamp.2019.100482_br0170) 2017; 104 Azzi (10.1016/j.jlamp.2019.100482_br0050) 2018; vol. 10887 Mens (10.1016/j.jlamp.2019.100482_br0540) 2007; 6 Adamek (10.1016/j.jlamp.2019.100482_br0010) 1990 Taentzer (10.1016/j.jlamp.2019.100482_br0650) 2003; vol. 3062 Azzi (10.1016/j.jlamp.2019.100482_br0030) 2018 Azzi (10.1016/j.jlamp.2019.100482_br0040) 2018; vol. 10800 Habel (10.1016/j.jlamp.2019.100482_br0330) 2005; vol. 3393 Lambers (10.1016/j.jlamp.2019.100482_br0410) 2009 Ehrig (10.1016/j.jlamp.2019.100482_br0260) 1997 |
| References_xml | – volume: 24 issue: 4 year: 2014 ident: 10.1016/j.jlamp.2019.100482_br0290 article-title: Finitary M-adhesive categories publication-title: Math. Struct. Comput. Sci. doi: 10.1017/S0960129512000321 – start-page: 716 year: 2018 ident: 10.1016/j.jlamp.2019.100482_br0470 article-title: Multi-granular conflict and dependency analysis in software engineering based on graph transformation – year: 2006 ident: 10.1016/j.jlamp.2019.100482_br0440 – volume: vol. 3062 start-page: 446 year: 2003 ident: 10.1016/j.jlamp.2019.100482_br0650 article-title: AGG: A graph transformation environment for modeling and validation of software – volume: vol. 8571 start-page: 81 year: 2014 ident: 10.1016/j.jlamp.2019.100482_br0190 article-title: Attribute handling for generating preconditions from graph constraints – year: 2012 ident: 10.1016/j.jlamp.2019.100482_br0510 – volume: 46 start-page: 294 issue: 3 year: 2011 ident: 10.1016/j.jlamp.2019.100482_br0560 article-title: Symbolic graphs for attributed graph constraints publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2010.09.009 – volume: vol. 4409 start-page: 111 year: 2006 ident: 10.1016/j.jlamp.2019.100482_br0530 article-title: Incremental resolution of model inconsistencies – volume: vol. 9463 start-page: 110 year: 2014 ident: 10.1016/j.jlamp.2019.100482_br0550 article-title: Use case analysis based on formal methods: an empirical study – volume: vol. 10800 start-page: 231 year: 2018 ident: 10.1016/j.jlamp.2019.100482_br0610 article-title: Modular termination of graph transformation – volume: 26 start-page: 287 issue: 3/4 year: 1996 ident: 10.1016/j.jlamp.2019.100482_br0300 article-title: Graph grammars with negative application conditions publication-title: Fundam. Inform. doi: 10.3233/FI-1996-263404 – volume: vol. 3838 start-page: 280 year: 2005 ident: 10.1016/j.jlamp.2019.100482_br0600 article-title: Confluence of graph transformation revisited – volume: vol. 9761 start-page: 37 year: 2016 ident: 10.1016/j.jlamp.2019.100482_br0140 article-title: Parallelism in AGREE transformations – year: 2006 ident: 10.1016/j.jlamp.2019.100482_br0150 article-title: Sesqui-pushout rewriting – volume: vol. 7562 start-page: 218 year: 2012 ident: 10.1016/j.jlamp.2019.100482_br0340 article-title: M,N-adhesive transformation systems – year: 2009 ident: 10.1016/j.jlamp.2019.100482_br0410 – year: 2006 ident: 10.1016/j.jlamp.2019.100482_br0210 article-title: Fundamentals of Algebraic Graph Transformation – year: 2004 ident: 10.1016/j.jlamp.2019.100482_br0250 article-title: Adhesive high-level replacement categories and systems – start-page: 181 year: 2009 ident: 10.1016/j.jlamp.2019.100482_br0080 article-title: Self-repairing systems modeling and verification using AGG – volume: vol. 10373 start-page: 3 year: 2017 ident: 10.1016/j.jlamp.2019.100482_br0120 article-title: The pullback-pushout approach to algebraic graph transformation – volume: 118 start-page: 35 issue: 1–2 year: 2012 ident: 10.1016/j.jlamp.2019.100482_br0220 article-title: M-adhesive transformation systems with nested application conditions. part 2: embedding, critical pairs and local confluence publication-title: Fundam. Inform. doi: 10.3233/FI-2012-705 – volume: vol. 3393 start-page: 293 year: 2005 ident: 10.1016/j.jlamp.2019.100482_br0330 article-title: Nested constraints and application conditions for high-level structures – start-page: 201 year: 1993 ident: 10.1016/j.jlamp.2019.100482_br0580 – start-page: 235 year: 2009 ident: 10.1016/j.jlamp.2019.100482_br0520 article-title: Analysis of aspect-oriented model weaving – volume: vol. 6372 start-page: 218 year: 2010 ident: 10.1016/j.jlamp.2019.100482_br0490 article-title: Graph rewriting in span-categories – start-page: 105 year: 2002 ident: 10.1016/j.jlamp.2019.100482_br0350 article-title: Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation – volume: 6 start-page: 269 issue: 3 year: 2007 ident: 10.1016/j.jlamp.2019.100482_br0540 article-title: Analysing refactoring dependencies using graph transformation publication-title: Softw. Syst. Model. doi: 10.1007/s10270-006-0044-6 – volume: 30 year: 2010 ident: 10.1016/j.jlamp.2019.100482_br0570 article-title: Symbolic attributed graphs for attributed graph transformation publication-title: Electron. Commun. EASST – volume: vol. 10887 start-page: 118 year: 2018 ident: 10.1016/j.jlamp.2019.100482_br0500 article-title: Characterisation of parallel independence in agree-rewriting – volume: vol. 8571 start-page: 17 year: 2014 ident: 10.1016/j.jlamp.2019.100482_br0460 article-title: Tableau-based reasoning for graph properties – volume: 74 start-page: 135 issue: 1 year: 2006 ident: 10.1016/j.jlamp.2019.100482_br0200 article-title: Theory of constraints and application conditions: from graphs to high-level structures publication-title: Fundam. Inform. – year: 2018 ident: 10.1016/j.jlamp.2019.100482_br0030 – volume: 39 start-page: 511 issue: 3 year: 2005 ident: 10.1016/j.jlamp.2019.100482_br0400 article-title: Adhesive and quasiadhesive categories publication-title: Inform. Theor. Appl. doi: 10.1051/ita:2005028 – year: 2017 ident: 10.1016/j.jlamp.2019.100482_br0180 – volume: vol. 10887 start-page: 99 year: 2018 ident: 10.1016/j.jlamp.2019.100482_br0050 article-title: On the essence and initiality of conflicts – volume: vol. 903 start-page: 151 year: 1994 ident: 10.1016/j.jlamp.2019.100482_br0640 article-title: Specification of graph translators with triple graph grammars – volume: vol. 841 start-page: 556 year: 1994 ident: 10.1016/j.jlamp.2019.100482_br0590 article-title: Critical pairs in term graph rewriting – volume: 294 start-page: 61 issue: 1/2 year: 2003 ident: 10.1016/j.jlamp.2019.100482_br0100 article-title: Restriction categories II: partial map classification publication-title: Theor. Comput. Sci. doi: 10.1016/S0304-3975(01)00245-6 – volume: 102 start-page: 111 year: 2010 ident: 10.1016/j.jlamp.2019.100482_br0240 article-title: Categorical frameworks for graph transformation and HLR systems based on the DPO approach publication-title: Bull. Eur. Assoc. Theor. Comput. Sci. – year: 1990 ident: 10.1016/j.jlamp.2019.100482_br0010 – volume: vol. 9151 start-page: 35 year: 2015 ident: 10.1016/j.jlamp.2019.100482_br0110 article-title: AGREE—algebraic graph rewriting with controlled embedding – volume: vol. 10800 start-page: 160 year: 2018 ident: 10.1016/j.jlamp.2019.100482_br0040 article-title: The verigraph system for graph transformation – volume: 103 start-page: 105 year: 2019 ident: 10.1016/j.jlamp.2019.100482_br0420 article-title: Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach publication-title: J. Log. Algebraic Methods Program. doi: 10.1016/j.jlamp.2018.11.004 – volume: 104 start-page: 10 year: 2017 ident: 10.1016/j.jlamp.2019.100482_br0170 article-title: Using formal methods for content validation of medical procedure documents. I publication-title: J. Med. Inform. doi: 10.1016/j.ijmedinf.2017.04.012 – volume: 24 issue: 4 year: 2014 ident: 10.1016/j.jlamp.2019.100482_br0230 article-title: M-adhesive transformation systems with nested application conditions. part 1: parallelism, concurrency and amalgamation publication-title: Math. Struct. Comput. Sci. doi: 10.1017/S0960129512000357 – start-page: 163 year: 1997 ident: 10.1016/j.jlamp.2019.100482_br0160 article-title: Algebraic approaches to graph transformation - part I: basic concepts and double pushout approach – volume: vol. 181 start-page: 97 year: 2015 ident: 10.1016/j.jlamp.2019.100482_br0390 article-title: Improved conflict detection for graph transformation with attributes – volume: vol. 6372 start-page: 171 year: 2010 ident: 10.1016/j.jlamp.2019.100482_br0660 article-title: Conflict detection for model versioning based on graph modifications – year: 1976 ident: 10.1016/j.jlamp.2019.100482_br0270 article-title: Parallelism of manipulations in multidimensional information structures – volume: 109 start-page: 181 issue: 1&2 year: 1993 ident: 10.1016/j.jlamp.2019.100482_br0480 article-title: Algebraic approach to single-pushout graph transformation publication-title: Theor. Comput. Sci. doi: 10.1016/0304-3975(93)90068-5 – volume: vol. 4735 start-page: 151 year: 2007 ident: 10.1016/j.jlamp.2019.100482_br0360 article-title: Model composition in product lines and feature interaction detection using critical pair analysis – volume: 32 start-page: 1 year: 1984 ident: 10.1016/j.jlamp.2019.100482_br0620 article-title: On graph rewritings publication-title: Theor. Comput. Sci. doi: 10.1016/0304-3975(84)90021-5 – volume: vol. 1764 start-page: 103 year: 1998 ident: 10.1016/j.jlamp.2019.100482_br0310 article-title: Double-pushout approach with injective matching – volume: 211 start-page: 17 year: 2008 ident: 10.1016/j.jlamp.2019.100482_br0450 article-title: Efficient conflict detection in graph transformation systems by essential critical pairs publication-title: Electron. Notes Theor. Comput. Sci. doi: 10.1016/j.entcs.2008.04.026 – start-page: 191 year: 2009 ident: 10.1016/j.jlamp.2019.100482_br0670 article-title: MATA: a unified approach for composing UML aspect models based on graph transformation – volume: vol. 10800 start-page: 105 year: 2018 ident: 10.1016/j.jlamp.2019.100482_br0430 article-title: Initial conflicts and dependencies: critical pairs revisited – volume: 270 start-page: 223 issue: 1–2 year: 2002 ident: 10.1016/j.jlamp.2019.100482_br0090 article-title: Restriction categories I: categories of partial maps publication-title: Theor. Comput. Sci. doi: 10.1016/S0304-3975(00)00382-0 – start-page: 247 year: 1997 ident: 10.1016/j.jlamp.2019.100482_br0260 article-title: Algebraic approaches to graph transformation - part II: single pushout approach and comparison with double pushout approach – volume: 46 start-page: 222 issue: 3 year: 2011 ident: 10.1016/j.jlamp.2019.100482_br0060 article-title: A lattice-theoretical perspective on adhesive categories publication-title: J. Symb. Comput. doi: 10.1016/j.jsc.2010.09.006 – volume: vol. 10800 start-page: 1 year: 2018 ident: 10.1016/j.jlamp.2019.100482_br0130 article-title: On the essence of parallel independence for the double-pushout and sesqui-pushout approaches – year: 2002 ident: 10.1016/j.jlamp.2019.100482_br0370 – start-page: 167 year: 1973 ident: 10.1016/j.jlamp.2019.100482_br0280 article-title: Graph-grammars: an algebraic approach – volume: 73 year: 2015 ident: 10.1016/j.jlamp.2019.100482_br0020 article-title: 20 years of triple graph grammars: a roadmap for future research publication-title: Electron. Commun. EASST – volume: 11 start-page: 637 issue: 5 year: 2001 ident: 10.1016/j.jlamp.2019.100482_br0320 article-title: Double-pushout graph transformation revisited publication-title: Math. Struct. Comput. Sci. doi: 10.1017/S0960129501003425 – year: 1997 ident: 10.1016/j.jlamp.2019.100482_br0630 – volume: vol. 10373 start-page: 125 year: 2017 ident: 10.1016/j.jlamp.2019.100482_br0070 article-title: Granularity of conflicts and dependencies in graph transformation systems – start-page: 263 year: 1970 ident: 10.1016/j.jlamp.2019.100482_br0380 article-title: Simple word problems in universal algebras |
| SSID | ssj0001687831 |
| Score | 2.1916542 |
| SourceID | crossref |
| SourceType | Index Database |
| StartPage | 100482 |
| Title | On the essence and initiality of conflicts in M -adhesive transformation systems |
| Volume | 109 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3PT9swGLW6cuEyNmDixzb5wA1Sxc4v-1hV28pGYUIg9RbZiUNTlRaV9NK_ns92kqYrQiuXKLIsK8p7-fzsPH8fQmeuyrRM4I4MPOn4LPEdrrTFKnBTWI1FLDNbA4PrsH_v_x4Gw1brqeFaWhSykyxfPVfyHlShDXDVp2S3QLYeFBrgHvCFKyAM1__C-MZ6FHX678r4n2szkNXWxjBuD30Y0-vg3BHpSBm_etHQq4D_cyNv-aZSrcKjyes6edC_mvOkrD1tbejW5PVYTYPGzzNLRmJx3l0ujV_g1yKfAD0eax71ZvO59u_nta2yniBuc6lye_7mSuUT0dyZILzh8jABjIK4cyh12Vq0dXkjXup8dbb40EYot7sK484YvgydWJTwzqr3euLsfya02mZYOdjGsRkk1oPEdpAPaIfCwgJC-U738k__erUvF7KImTKW9eNXyaqMLXDjcRqCpqFM7j6hjyVQuGv58Rm11HQf7VXlOnAZvQ_Q35spBrrgki4Y4MQruuBZhmu6QDse4JoueJ0uuKTLIbr_-eOu13fKghpOQjgvHKkU9RNOWaq4cIVgXqpk6HmKeJQQGVDXT0HPuzzVxedoxpRQsIBQJGAiC1PP-4La09lUHSEccZporS08lvkh8wWRIIR5AgqXRVFKjtFF9VbiJ5s3JX4DjpPtup-i3RXhvqJ2MV-obyAOC_m9xPMFGs1mRw |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=On+the+essence+and+initiality+of+conflicts+in+M+-adhesive+transformation+systems&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Grochau+Azzi%2C+Guilherme&rft.au=Corradini%2C+Andrea&rft.au=Ribeiro%2C+Leila&rft.date=2019-12-01&rft.issn=2352-2208&rft.volume=109&rft.spage=100482&rft_id=info:doi/10.1016%2Fj.jlamp.2019.100482&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2019_100482 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon |