{"id":"https://openalex.org/W2082825062","doi":"https://doi.org/10.1017/s0960129500000116","title":"Step bisimulation is pomset equivalence on a parallel language without explicit internal choice","display_name":"Step bisimulation is pomset equivalence on a parallel language without explicit internal choice","publication_year":1993,"publication_date":"1993-03-01","ids":{"openalex":"https://openalex.org/W2082825062","doi":"https://doi.org/10.1017/s0960129500000116","mag":"2082825062"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129500000116","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500000116","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062949191","display_name":"Douglas R. Troeger","orcid":null},"institutions":[{"id":"https://openalex.org/I125687163","display_name":"City College of New York","ror":"https://ror.org/00wmhkr98","country_code":"US","type":"education","lineage":["https://openalex.org/I125687163"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Douglas R. Troeger","raw_affiliation_strings":["Department of Computer Sciences, The City College of New York, Convent Avenue at 138th Street, New York, NY 10031"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Sciences, The City College of New York, Convent Avenue at 138th Street, New York, NY 10031","institution_ids":["https://openalex.org/I125687163"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5062949191"],"corresponding_institution_ids":["https://openalex.org/I125687163"],"apc_list":null,"apc_paid":null,"fwci":1.5647,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.83294012,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"3","issue":"1","first_page":"25","last_page":"62"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9991999864578247,"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/T11567","display_name":"semigroups and automata theory","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.732804000377655},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.651413083076477},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.6498043537139893},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5830088257789612},{"id":"https://openalex.org/keywords/logical-equivalence","display_name":"Logical equivalence","score":0.4822119474411011},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3564140796661377},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3288097381591797}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.732804000377655},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.651413083076477},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.6498043537139893},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5830088257789612},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.4822119474411011},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3564140796661377},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3288097381591797}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129500000116","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500000116","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W21709337","https://openalex.org/W25765579","https://openalex.org/W41705835","https://openalex.org/W1490390913","https://openalex.org/W1537537640","https://openalex.org/W1547562281","https://openalex.org/W1556838231","https://openalex.org/W1571821267","https://openalex.org/W1581425404","https://openalex.org/W1585042602","https://openalex.org/W1593582943","https://openalex.org/W1602232868","https://openalex.org/W1755492414","https://openalex.org/W1765032207","https://openalex.org/W1908424597","https://openalex.org/W1972478730","https://openalex.org/W1988879351","https://openalex.org/W1991052229","https://openalex.org/W2003499082","https://openalex.org/W2027256978","https://openalex.org/W2028726185","https://openalex.org/W2041808519","https://openalex.org/W2073584836","https://openalex.org/W2085912345","https://openalex.org/W2110425399","https://openalex.org/W2137865376","https://openalex.org/W2150320481","https://openalex.org/W2156761731","https://openalex.org/W2169869634","https://openalex.org/W2293557922","https://openalex.org/W2340933440","https://openalex.org/W2589217375","https://openalex.org/W3144368627","https://openalex.org/W4211008702","https://openalex.org/W4229492352","https://openalex.org/W4233486847","https://openalex.org/W6601074777","https://openalex.org/W6601673452","https://openalex.org/W6632601584","https://openalex.org/W6633336921","https://openalex.org/W6634697143","https://openalex.org/W6635152556","https://openalex.org/W6635696438","https://openalex.org/W6640154851","https://openalex.org/W6680753846"],"related_works":["https://openalex.org/W1704074244","https://openalex.org/W2113256684","https://openalex.org/W2145454356","https://openalex.org/W40031358","https://openalex.org/W2101922810","https://openalex.org/W2140646474","https://openalex.org/W1596619087","https://openalex.org/W3014656961","https://openalex.org/W2534853293","https://openalex.org/W1586382855"],"abstract_inverted_index":{"We":[0,71,135],"focus":[1],"attention":[2],"on":[3,30,86,97,110,117,195],"a":[4,9,52,73],"language":[5,35,99,179],"\u2112":[6,42,87,100,104,118,142,180],"generated":[7],"by":[8,105,139],"set":[10,75],"of":[11,16,63,76,114,123,164,173],"elementary":[12],"actions":[13],"under":[14],"operations":[15],"sequential":[17],"composition,":[18],"external":[19,49],"binary":[20],"choice,":[21,50,111],"iteration,":[22],"and":[23,61,83,92,156],"non-nested":[24],"disjoint":[25],"parallel":[26,34,65],"composition:":[27],"that":[28,78,89,120,143,171],"is,":[29],"an":[31],"especially":[32],"simple":[33],"without":[36],"explicit":[37,124],"internal,":[38],"or":[39],"\u2018local\u2019,":[40],"nondeterminism.":[41],"is":[43,153,186],"nondeterministic,":[44],"despite":[45],"the":[46,64,98,108,112,121,132,178],"restriction":[47],"to":[48,189],"since":[51],"given":[53],"action":[54],"may":[55],"occur":[56],"in":[57,129],"both":[58,80],"subterms":[59],"F":[60,67],"G":[62,69],"composition":[66],"\u2551":[68],".":[70],"exhibit":[72],"single":[74],"equations":[77],"axiomatizes":[79],"step":[81,90,144,159,183,192],"bisimulation":[82,91,145,150,193],"pomset":[84,93,149],"equivalence":[85,94,166,185,194],"Given":[88],"are":[95],"incomparable":[96],"+":[101,181],"obtained":[102],"from":[103],"relaxing":[106],"just":[107],"constraint":[109],"coincidence":[113],"these":[115,174],"equivalences":[116],"suggests":[119],"elimination":[122],"internal":[125],"choice":[126],"can":[127],"result":[128],"simplifications":[130],"at":[131],"semantic":[133],"level.":[134],"reinforce":[136],"this":[137],"impression":[138],"showing":[140],"for":[141,177],"(i)":[146],"coincides":[147],"with":[148,191],"equivalence,":[151],"(ii)":[152],"real-time":[154],"consistent,":[155],"(iii)":[157],"has":[158],"trees":[160],"as":[161],"concrete":[162],"representatives":[163],"its":[165],"classes.":[167],"Moreover,":[168],"we":[169],"show":[170],"none":[172],"results":[175],"holds":[176],"Finally,":[182],"trace":[184],"proved":[187],"not":[188],"coincide":[190],"\u2112.":[196]},"counts_by_year":[{"year":2020,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}