{"id":"https://openalex.org/W2030143386","doi":"https://doi.org/10.1142/s0129054107005133","title":"REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES, PART II: SPECIFICATION OF SOFTWARE MODULES","display_name":"REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES, PART II: SPECIFICATION OF SOFTWARE MODULES","publication_year":2007,"publication_date":"2007-09-21","ids":{"openalex":"https://openalex.org/W2030143386","doi":"https://doi.org/10.1142/s0129054107005133","mag":"2030143386"},"language":"en","primary_location":{"id":"doi:10.1142/s0129054107005133","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054107005133","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"},"type":"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/A5016883956","display_name":"Janusz Brzozowski","orcid":"https://orcid.org/0000-0003-3390-2767"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"JANUSZ BRZOZOWSKI","raw_affiliation_strings":["David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088351125","display_name":"Helmut J\u00fcrgensen","orcid":null},"institutions":[{"id":"https://openalex.org/I125749732","display_name":"Western University","ror":"https://ror.org/02grkyz14","country_code":"CA","type":"education","lineage":["https://openalex.org/I125749732"]},{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]}],"countries":["CA","DE"],"is_corresponding":false,"raw_author_name":"HELMUT J\u00dcRGENSEN","raw_affiliation_strings":["Department of Computer Science, The University of Western Ontario, London, Ontario, N6A 5B7, Canada","Institut f\u00fcr Informatik, Universit\u00e4t Potsdam, August-Bebel-Str. 89, 14482 Potsdam, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, The University of Western Ontario, London, Ontario, N6A 5B7, Canada","institution_ids":["https://openalex.org/I125749732"]},{"raw_affiliation_string":"Institut f\u00fcr Informatik, Universit\u00e4t Potsdam, August-Bebel-Str. 89, 14482 Potsdam, Germany","institution_ids":["https://openalex.org/I176453806"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.9376,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.87968405,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"18","issue":"05","first_page":"1065","last_page":"1087"},"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.9994000196456909,"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.9994000196456909,"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.9991999864578247,"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/T10260","display_name":"Software Engineering Research","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/assertion","display_name":"Assertion","score":0.8806231617927551},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.8155052661895752},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7034836411476135},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.676619291305542},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5751835107803345},{"id":"https://openalex.org/keywords/canonical-form","display_name":"Canonical form","score":0.5693878531455994},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5013105869293213},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4986450672149658},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4938672184944153},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4539681077003479},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4504450857639313},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.4412243366241455},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4325113594532013},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.4161217510700226},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3449104428291321},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2607148587703705},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.09119459986686707}],"concepts":[{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.8806231617927551},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.8155052661895752},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7034836411476135},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.676619291305542},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5751835107803345},{"id":"https://openalex.org/C204707403","wikidata":"https://www.wikidata.org/wiki/Q1152398","display_name":"Canonical form","level":2,"score":0.5693878531455994},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5013105869293213},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4986450672149658},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4938672184944153},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4539681077003479},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4504450857639313},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.4412243366241455},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4325113594532013},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.4161217510700226},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3449104428291321},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2607148587703705},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.09119459986686707},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0129054107005133","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0129054107005133","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W133354355","https://openalex.org/W210557330","https://openalex.org/W1496412704","https://openalex.org/W1543281322","https://openalex.org/W1963436944","https://openalex.org/W1980937678","https://openalex.org/W1982223289","https://openalex.org/W1995925686","https://openalex.org/W2000117114","https://openalex.org/W2018390675","https://openalex.org/W2027515180","https://openalex.org/W2035561341","https://openalex.org/W2089153343","https://openalex.org/W2098820900","https://openalex.org/W2112717272","https://openalex.org/W2131958170","https://openalex.org/W2164666293","https://openalex.org/W2258595992","https://openalex.org/W2396714452","https://openalex.org/W4302964898"],"related_works":["https://openalex.org/W4383502091","https://openalex.org/W3127558385","https://openalex.org/W3200605392","https://openalex.org/W2024421699","https://openalex.org/W4210940113","https://openalex.org/W2277604474","https://openalex.org/W4232638395","https://openalex.org/W2461745011","https://openalex.org/W170340177","https://openalex.org/W2804031838"],"abstract_inverted_index":{"A":[0],"theory":[1,42,57],"of":[2,4,22,61,70,95,101,107,149],"representation":[3],"semiautomata":[5],"by":[6,19,76,116,120,154],"canonical":[7],"words":[8],"and":[9,47,50,83,111,123],"equivalences":[10],"was":[11,17,28],"developed":[12],"in":[13,127],"[7].":[14],"That":[15],"work":[16],"motivated":[18],"trace-assertion":[20,72,109],"specifications":[21,115,119],"software":[23],"modules,":[24,99,151],"but":[25,166],"its":[26],"focus":[27],"entirely":[29],"on":[30],"the":[31,36,55,59,71,108,141],"underlying":[32],"mathematical":[33],"model.":[34],"In":[35,63],"present":[37,66],"paper":[38],"we":[39,65],"extend":[40],"that":[41],"to":[43,53,58,114,136,158],"automata":[44,124],"with":[45],"Moore":[46],"Mealy":[48],"outputs,":[49],"show":[51],"how":[52],"apply":[54],"extended":[56],"specification":[60,153],"modules.":[62],"particular,":[64],"a":[67,93,112],"unified":[68],"view":[69],"methodology,":[73],"as":[74,156],"guided":[75],"our":[77],"theory.":[78],"We":[79,91,143],"illustrate":[80],"this":[81],"approach,":[82],"some":[84,104],"specific":[85],"issues,":[86],"using":[87],"several":[88],"nontrivial":[89],"examples.":[90],"include":[92],"discussion":[94],"finite":[96],"versus":[97],"infinite":[98],"methods":[100],"error":[102],"handling,":[103],"awkward":[105],"features":[106],"method,":[110],"comparison":[113],"automata.":[117],"While":[118],"trace":[121],"assertions":[122],"are":[125,130],"equivalent":[126],"power,":[128],"there":[129],"cases":[131],"where":[132],"one":[133],"approach":[134],"appears":[135],"be":[137],"more":[138],"natural":[139],"than":[140],"other.":[142],"conclude":[144],"that,":[145],"for":[146],"certain":[147],"types":[148],"system":[150],"formal":[152],"automata,":[155],"opposed":[157],"informal":[159],"state":[160],"machines,":[161],"is":[162],"not":[163],"only":[164],"possible,":[165],"practical.":[167]},"counts_by_year":[{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}