{"id":"https://openalex.org/W2156227495","doi":"https://doi.org/10.1017/s096012951000054x","title":"Pointwise extensions of GSOS-defined operations","display_name":"Pointwise extensions of GSOS-defined operations","publication_year":2011,"publication_date":"2011-03-25","ids":{"openalex":"https://openalex.org/W2156227495","doi":"https://doi.org/10.1017/s096012951000054x","mag":"2156227495"},"language":"en","primary_location":{"id":"doi:10.1017/s096012951000054x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s096012951000054x","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_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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ir.cwi.nl/pub/16713","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007089889","display_name":"Helle Hvid Hansen","orcid":"https://orcid.org/0000-0001-7061-1219"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]},{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"HELLE HVID HANSEN","raw_affiliation_strings":["Technische Universiteit Eindhoven and Centrum Wiskunde & Informatica, P.O. Box 513, 5300 MB Eindhoven, The Netherlands Email:","Technische universiteit eindhoven and centrum wiskunde & informatica, p.o. box 513, 5300 mb eindhoven, the netherlands email: h.h.hansen@tue.nl#TAB#"],"affiliations":[{"raw_affiliation_string":"Technische Universiteit Eindhoven and Centrum Wiskunde & Informatica, P.O. Box 513, 5300 MB Eindhoven, The Netherlands Email:","institution_ids":["https://openalex.org/I83019370","https://openalex.org/I1341640284"]},{"raw_affiliation_string":"Technische universiteit eindhoven and centrum wiskunde & informatica, p.o. box 513, 5300 mb eindhoven, the netherlands email: h.h.hansen@tue.nl#TAB#","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025346659","display_name":"Bartek Klin","orcid":"https://orcid.org/0000-0001-5793-7425"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]},{"id":"https://openalex.org/I4210096386","display_name":"Bridge University","ror":"https://ror.org/00cbm0437","country_code":"SS","type":"education","lineage":["https://openalex.org/I4210096386"]}],"countries":["GB","SS"],"is_corresponding":false,"raw_author_name":"BARTEK KLIN","raw_affiliation_strings":["University of Cambridge and University of Warsaw, 15 JJ Thomson Avenue, Cambridge CB3 0FD, U.K. Email:","University of Cambridge and University of Warsaw, 15 JJ Thomson Avenue, Cambridge CB3 0FD, U.K. Email: klin@mimuw.edu.pl"],"affiliations":[{"raw_affiliation_string":"University of Cambridge and University of Warsaw, 15 JJ Thomson Avenue, Cambridge CB3 0FD, U.K. Email:","institution_ids":["https://openalex.org/I4210096386"]},{"raw_affiliation_string":"University of Cambridge and University of Warsaw, 15 JJ Thomson Avenue, Cambridge CB3 0FD, U.K. Email: klin@mimuw.edu.pl","institution_ids":["https://openalex.org/I241749"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5007089889"],"corresponding_institution_ids":["https://openalex.org/I1341640284","https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":1.7543,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.87660548,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"21","issue":"2","first_page":"321","last_page":"361"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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/T11424","display_name":"Security and Verification in Computing","score":0.9889000058174133,"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/coalgebra","display_name":"Coalgebra","score":0.9239356517791748},{"id":"https://openalex.org/keywords/distributive-property","display_name":"Distributive property","score":0.8326427340507507},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.7282965183258057},{"id":"https://openalex.org/keywords/pointwise","display_name":"Pointwise","score":0.7140868306159973},{"id":"https://openalex.org/keywords/algebraic-specification","display_name":"Algebraic specification","score":0.5806641578674316},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5113977789878845},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.4938679337501526},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4755544364452362},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4678310453891754},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.43280279636383057},{"id":"https://openalex.org/keywords/algebraic-operation","display_name":"Algebraic operation","score":0.42160555720329285},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4141318202018738},{"id":"https://openalex.org/keywords/finitary","display_name":"Finitary","score":0.4100443720817566},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.34158313274383545},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23672431707382202},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.16020864248275757}],"concepts":[{"id":"https://openalex.org/C2778249326","wikidata":"https://www.wikidata.org/wiki/Q1777803","display_name":"Coalgebra","level":3,"score":0.9239356517791748},{"id":"https://openalex.org/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.8326427340507507},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.7282965183258057},{"id":"https://openalex.org/C2777984123","wikidata":"https://www.wikidata.org/wiki/Q9248237","display_name":"Pointwise","level":2,"score":0.7140868306159973},{"id":"https://openalex.org/C2777691520","wikidata":"https://www.wikidata.org/wiki/Q4724019","display_name":"Algebraic specification","level":3,"score":0.5806641578674316},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5113977789878845},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4938679337501526},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4755544364452362},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4678310453891754},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.43280279636383057},{"id":"https://openalex.org/C136003732","wikidata":"https://www.wikidata.org/wiki/Q3854337","display_name":"Algebraic operation","level":3,"score":0.42160555720329285},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4141318202018738},{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.4100443720817566},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.34158313274383545},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23672431707382202},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.16020864248275757},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":11,"locations":[{"id":"doi:10.1017/s096012951000054x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s096012951000054x","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_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":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/b86424c9-a7ca-449c-9111-7563d0f0da39","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/b86424c9-a7ca-449c-9111-7563d0f0da39","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Hansen, H H & Klin, B 2011, 'Pointwise extensions of GSOS-defined operations', Mathematical Structures in Computer Science, vol. 21, no. 2, pp. 321-361. https://doi.org/10.1017/S096012951000054X","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:cwi:oai:cwi.nl:16713","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/16713","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematical Structures in Computer Science, 21(2), 321 - 361","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.163.3210","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.3210","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.win.tue.nl/~hhansen/papers/Hansen-Klin.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.167.8119","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.8119","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.win.tue.nl/%7Ehhansen/papers/dagstuhl-paper.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.180.2646","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.180.2646","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.win.tue.nl/%7Ehhansen/papers/dagstuhl-paper.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.297.648","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.648","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.mimuw.edu.pl/~klin/papers/mscs11.pdf","raw_type":"text"},{"id":"pmh:oai:library.tue.nl:693749","is_oa":false,"landing_page_url":"http://repository.tue.nl/693749","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","issn_l":null,"issn":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:0960-1295","raw_type":"Article / Letter to the editor"},{"id":"pmh:tue:oai:library.tue.nl:694179","is_oa":false,"landing_page_url":"http://repository.tue.nl/694179","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"pmh:tue:oai:pure.tue.nl:publications/b86424c9-a7ca-449c-9111-7563d0f0da39","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/b86424c9-a7ca-449c-9111-7563d0f0da39","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematical Structures in Computer Science, 21(2), 321 - 361. Cambridge University Press","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:tue:oai:pure.tue.nl:publications/fa8bd384-9d96-418e-ad9d-82f00d4d622e","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/fa8bd384-9d96-418e-ad9d-82f00d4d622e","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Short contributions to the 10th International Workshop on Coalgebraic Methods in Computer Science (Paphos, Cyprus, March 26-28, 2010), 10 - 11","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"pmh:cwi:oai:cwi.nl:16713","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/16713","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Mathematical Structures in Computer Science, 21(2), 321 - 361","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G760946068","display_name":null,"funder_award_id":"EP/F042337/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W635664133","https://openalex.org/W1503074869","https://openalex.org/W1543688617","https://openalex.org/W1582292473","https://openalex.org/W1602605316","https://openalex.org/W1872588449","https://openalex.org/W1980639516","https://openalex.org/W2023358212","https://openalex.org/W2026552167","https://openalex.org/W2042266169","https://openalex.org/W2050029209","https://openalex.org/W2083774956","https://openalex.org/W2085858043","https://openalex.org/W2088189323","https://openalex.org/W2100996925","https://openalex.org/W2101032471","https://openalex.org/W2107354844","https://openalex.org/W2133618480","https://openalex.org/W2148744216","https://openalex.org/W2204229874","https://openalex.org/W2809660625","https://openalex.org/W3021003119","https://openalex.org/W4211195649","https://openalex.org/W4285719527","https://openalex.org/W4293200472","https://openalex.org/W6679963151"],"related_works":["https://openalex.org/W1992729023","https://openalex.org/W2156227495","https://openalex.org/W2161668260","https://openalex.org/W162090015","https://openalex.org/W3214473273","https://openalex.org/W4297813194","https://openalex.org/W1745548216","https://openalex.org/W1545848507","https://openalex.org/W2015695171","https://openalex.org/W89996766"],"abstract_inverted_index":{"Final":[0],"coalgebras":[1],"capture":[2],"system":[3],"behaviours":[4],"such":[5,44],"as":[6],"streams,":[7],"infinite":[8],"trees":[9],"and":[10,132],"processes.":[11,59],"Algebraic":[12],"operations":[13,71,112,118],"on":[14,73,94,103,121],"a":[15,25,30,47,74,82,95,107],"final":[16,75,96],"coalgebra":[17],"can":[18,79],"be":[19],"defined":[20],"by":[21],"distributive":[22,36],"laws":[23,37],"(of":[24],"syntax":[26],"functor":[27,32],"\u03a3":[28],"over":[29],"behaviour":[31],"F":[33,76,97,133],").":[34],"Such":[35],"correspond":[38],"to":[39,113],"abstract":[40,65],"specification":[41,67,84],"formats.":[42],"One":[43],"format":[45],"is":[46,127],"generalisation":[48],"of":[49,58,92,106,109],"the":[50,88,104,114,125],"GSOS":[51,66,83],"rules":[52],"known":[53],"from":[54],"structural":[55],"operational":[56],"semantics":[57],"We":[60],"show":[61],"that":[62,69,86],"given":[63],"an":[64],"\u03c1":[68,85],"defines":[70,87],"\u03c3":[72,91,93,131],"-coalgebra,":[77],"we":[78],"systematically":[80],"construct":[81],"pointwise":[89],"extension":[90],"A":[98,122],"-coalgebra.":[99],"The":[100],"construction":[101,126],"relies":[102],"addition":[105],"family":[108],"auxiliary":[110],"\u2018buffer\u2019":[111],"syntax.":[115],"These":[116],"buffer":[117],"depend":[119],"only":[120],",":[123],"so":[124],"uniform":[128],"for":[129],"all":[130],".":[134]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}