{"id":"https://openalex.org/W2133073844","doi":"https://doi.org/10.1017/s0960129501003462","title":"Symmetric monoidal and cartesian double categories as a semantic framework for tile logic","display_name":"Symmetric monoidal and cartesian double categories as a semantic framework for tile logic","publication_year":2002,"publication_date":"2002-02-01","ids":{"openalex":"https://openalex.org/W2133073844","doi":"https://doi.org/10.1017/s0960129501003462","mag":"2133073844"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129501003462","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101611155","display_name":"Roberto Bruni","orcid":"https://orcid.org/0000-0002-7771-4154"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"ROBERTO BRUNI","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Pisa, Italia.#TAB#"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Pisa, Italia.#TAB#","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102754614","display_name":"Jos\u00e9 Meseguer","orcid":"https://orcid.org/0000-0003-4779-3848"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"JOS\u00c9 MESEGUER","raw_affiliation_strings":["Computer Science Laboratory, SRI International, Menlo Park, CA, U.S.A.#TAB#"],"affiliations":[{"raw_affiliation_string":"Computer Science Laboratory, SRI International, Menlo Park, CA, U.S.A.#TAB#","institution_ids":["https://openalex.org/I1298353152"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061468940","display_name":"Ugo Montanari","orcid":"https://orcid.org/0000-0002-6204-8670"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"UGO MONTANARI","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Pisa, Italia.#TAB#"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Pisa, Italia.#TAB#","institution_ids":["https://openalex.org/I108290504"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.355,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.729623,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":91},"biblio":{"volume":"12","issue":"01","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9711,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9711,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9686,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9544,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cartesian-closed-category","display_name":"Cartesian closed category","score":0.52650326}],"concepts":[{"id":"https://openalex.org/C98912367","wikidata":"https://www.wikidata.org/wiki/Q17103860","display_name":"Symmetric monoidal category","level":3,"score":0.68591267},{"id":"https://openalex.org/C171032842","wikidata":"https://www.wikidata.org/wiki/Q1725874","display_name":"Cartesian closed category","level":2,"score":0.52650326},{"id":"https://openalex.org/C156163052","wikidata":"https://www.wikidata.org/wiki/Q5379515","display_name":"Enriched category","level":3,"score":0.50972384},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.46185955},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46012354},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.44163892},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.42885092},{"id":"https://openalex.org/C16038011","wikidata":"https://www.wikidata.org/wiki/Q62912","display_name":"Cartesian coordinate system","level":2,"score":0.4236788},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.41276824},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.33269203},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.11698359}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129501003462","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":14,"referenced_works":["https://openalex.org/W1499822017","https://openalex.org/W1586572263","https://openalex.org/W1601458080","https://openalex.org/W1662239198","https://openalex.org/W1976195354","https://openalex.org/W1984882019","https://openalex.org/W2016654878","https://openalex.org/W2120713972","https://openalex.org/W2127595607","https://openalex.org/W2128932399","https://openalex.org/W2502957253","https://openalex.org/W2913408576","https://openalex.org/W4285719527","https://openalex.org/W75859641"],"related_works":["https://openalex.org/W4301102648","https://openalex.org/W4244360710","https://openalex.org/W4221164648","https://openalex.org/W2963810482","https://openalex.org/W2897139815","https://openalex.org/W2415965387","https://openalex.org/W2316040467","https://openalex.org/W2167575691","https://openalex.org/W2050478998","https://openalex.org/W1986885420"],"abstract_inverted_index":{"Tile":[0],"systems":[1],"offer":[2,250],"a":[3,14,25,122,171,188,197,237],"general":[4],"paradigm":[5],"for":[6,29,88,139,142,146,255],"modular":[7],"descriptions":[8],"of":[9,16,59,78,91,105,118,126,159,175,205,227],"concurrent":[10],"systems,":[11,31],"based":[12,67],"on":[13,68],"set":[15],"rewriting":[17],"rules":[18],"with":[19],"side-effects.":[20],"Monoidal":[21],"double":[22,110,119,165,184,238,245],"categories":[23,52,120,185,231,246],"are":[24,50,73,233,247],"natural":[26,96,127,161,189],"semantic":[27,253],"framework":[28],"tile":[30,259],"because":[32],"the":[33,54,60,85,89,103,115,157,173,192,202,210,225],"mathematical":[34],"structures":[35,72,87,108,204],"describing":[36],"system":[37],"states":[38],"and":[39,44,65,70,81,178,207,243,257],"synchronizing":[40],"actions":[41],"(called":[42],"configurations":[43,64,140,206],"observations,":[45,143],"respectively,":[46],"in":[47,76,133,187,236],"our":[48,219],"terminology)":[49],"monoidal":[51,80,177,242],"having":[53],"same":[55],"objects":[56],"(the":[57],"interfaces":[58,92],"system).":[61],"In":[62,98],"particular,":[63],"observations":[66],"net-process-like":[69],"term":[71,258],"usually":[74],"described":[75],"terms":[77],"symmetric":[79,176,241],"cartesian":[82,179,244],"categories,":[83],"where":[84],"auxiliary":[86,107,203],"rearrangement":[90],"correspond":[93],"to":[94,109,218,224,249],"suitable":[95,229],"transformations.":[97],"this":[99,153],"paper":[100],"we":[101,151],"discuss":[102],"lifting":[104],"these":[106],"categories.":[111],"We":[112],"notice":[113],"that":[114,232],"internal":[116],"construction":[117],"produces":[121],"pathological":[123],"asymmetric":[124],"notion":[125,158],"transformation,":[128],"which":[129],"is":[130],"fully":[131],"exploited":[132],"one":[134],"dimension":[135],"only":[136],"(for":[137],"example,":[138],"or":[141],"but":[144],"not":[145],"both).":[147],"Following":[148],"Ehresmann":[149],"(1963),":[150],"overcome":[152],"biased":[154],"definition,":[155],"introducing":[156],"generalized":[160],"transformation":[162],"between":[163,201],"four":[164],"functors":[166],"(rather":[167],"than":[168],"two).":[169],"As":[170],"consequence,":[172],"concepts":[174],"(with":[180],"consistently":[181],"chosen":[182],"products)":[183],"arise":[186],"way":[190],"from":[191],"corresponding":[193],"ordinary":[194],"versions,":[195],"giving":[196],"very":[198],"good":[199],"relationship":[200],"observations.":[208],"Moreover,":[209],"Kelly\u2013Mac":[211],"Lane":[212],"coherence":[213],"axioms":[214],"can":[215],"be":[216],"lifted":[217],"setting":[220,254],"without":[221],"effort,":[222],"thanks":[223],"characterization":[226],"two":[228],"diagonal":[230],"always":[234],"present":[235],"category.":[239],"Then,":[240],"shown":[248],"an":[251],"adequate":[252],"process":[256],"systems.":[260]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2133073844","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":4}],"updated_date":"2025-01-17T14:08:02.866184","created_date":"2016-06-24"}