{"id":"https://openalex.org/W2963205776","doi":"https://doi.org/10.4230/lipics.types.2013.150","title":"A Hybrid Linear Logic for Constrained Transition Systems","display_name":"A Hybrid Linear Logic for Constrained Transition Systems","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2963205776","doi":"https://doi.org/10.4230/lipics.types.2013.150","mag":"2963205776"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:4630","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2013.150","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2013.150","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108078154","display_name":"Jo\u00eblle Despeyroux","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Despeyroux, Joelle","raw_affiliation_strings":["INRIA","Usage-centered design, analysis and improvement of information systems"],"affiliations":[{"raw_affiliation_string":"INRIA","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Usage-centered design, analysis and improvement of information systems","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056733524","display_name":"Kaustuv Chaudhuri","orcid":"https://orcid.org/0000-0003-2938-547X"},"institutions":[{"id":"https://openalex.org/I4210085896","display_name":"Parnassia Groep","ror":"https://ror.org/002wh3v03","country_code":"NL","type":"healthcare","lineage":["https://openalex.org/I4210085896"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Chaudhuri, Kaustuv","raw_affiliation_strings":["PARSIFAL","Proof search and reasoning with logic specifications"],"affiliations":[{"raw_affiliation_string":"PARSIFAL","institution_ids":["https://openalex.org/I4210085896"]},{"raw_affiliation_string":"Proof search and reasoning with logic specifications","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5108078154"],"corresponding_institution_ids":["https://openalex.org/I1326498283"],"apc_list":null,"apc_paid":null,"fwci":1.66950584,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.8688924,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9850999712944031,"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/T10126","display_name":"Logic, programming, and type systems","score":0.983299970626831,"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/transition","display_name":"Transition (genetics)","score":0.5381075143814087},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.39080342650413513},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3335365056991577},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.10501375794410706}],"concepts":[{"id":"https://openalex.org/C194232998","wikidata":"https://www.wikidata.org/wiki/Q1606712","display_name":"Transition (genetics)","level":3,"score":0.5381075143814087},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39080342650413513},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3335365056991577},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.10501375794410706},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:4630","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2013.150","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},{"id":"doi:10.48550/arxiv.1603.02641","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1603.02641","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.4230/lipics.types.2013.150","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.types.2013.150","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:4630","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2013.150","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"","raw_type":"InProceedings"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W94249443","https://openalex.org/W1479956963","https://openalex.org/W1486686561","https://openalex.org/W1498395593","https://openalex.org/W1499101893","https://openalex.org/W1502855507","https://openalex.org/W1508641834","https://openalex.org/W1538462273","https://openalex.org/W1603799276","https://openalex.org/W1606971543","https://openalex.org/W1607623316","https://openalex.org/W1645305843","https://openalex.org/W1784226744","https://openalex.org/W1968661925","https://openalex.org/W1969553191","https://openalex.org/W1986649132","https://openalex.org/W1989085426","https://openalex.org/W1999703197","https://openalex.org/W2007006124","https://openalex.org/W2009464583","https://openalex.org/W2021089599","https://openalex.org/W2041226400","https://openalex.org/W2070324762","https://openalex.org/W2089265642","https://openalex.org/W2098171268","https://openalex.org/W2105672294","https://openalex.org/W2106190666","https://openalex.org/W2125583575","https://openalex.org/W2129765401","https://openalex.org/W2137586949","https://openalex.org/W2137722421","https://openalex.org/W2139504329","https://openalex.org/W2140154996","https://openalex.org/W2140277138","https://openalex.org/W2143326093","https://openalex.org/W2152604899","https://openalex.org/W2159869514","https://openalex.org/W2170884701","https://openalex.org/W2319388297","https://openalex.org/W2396555304","https://openalex.org/W2663300410","https://openalex.org/W2911865844","https://openalex.org/W2912106379","https://openalex.org/W2913004508"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2600246793"],"abstract_inverted_index":{"Linear":[0],"implication":[1],"can":[2,61],"represent":[3],"state":[4],"transitions,":[5],"but":[6],"real":[7],"transition":[8,71],"systems":[9],"operate":[10],"under":[11],"temporal,":[12],"stochastic":[13,83],"or":[14],"probabilistic":[15],"constraints":[16,42],"that":[17,60],"are":[18],"not":[19],"directly":[20],"representable":[21],"in":[22],"ordinary":[23],"linear":[24,34],"logic.":[25],"We":[26],"propose":[27],"a":[28,55],"general":[29],"modal":[30],"extension":[31],"of":[32,68,80],"intuitionistic":[33],"logic":[35,53],"where":[36],"logical":[37,50],"truth":[38],"is":[39],"indexed":[40],"by":[41],"and":[43],"hybrid":[44],"connectives":[45],"combine":[46],"constraint":[47],"reasoning":[48],"with":[49,76],"reasoning.":[51],"The":[52],"has":[54],"focused":[56],"cut-free":[57],"sequent":[58],"calculus":[59],"be":[62],"used":[63],"to":[64],"internalize":[65],"the":[66,81],"rules":[67],"particular":[69],"constrained":[70],"systems;":[72],"we":[73],"illustrate":[74],"this":[75],"an":[77],"adequate":[78],"encoding":[79],"synchronous":[82],"pi-calculus.":[84]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2025-10-10T00:00:00"}