{"id":"https://openalex.org/W1494530614","doi":"https://doi.org/10.1016/s1571-0661(05)80364-0","title":"Describing properties of concurrent systems (Logic for Traces)","display_name":"Describing properties of concurrent systems (Logic for Traces)","publication_year":2002,"publication_date":"2002-09-01","ids":{"openalex":"https://openalex.org/W1494530614","doi":"https://doi.org/10.1016/s1571-0661(05)80364-0","mag":"1494530614"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80364-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80364-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80364-0","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064757019","display_name":"Igor Walukiewicz","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Walukiewicz Igor","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5064757019"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04340789,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"68","issue":"2","first_page":"69","last_page":"69"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9975000023841858,"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.9975000023841858,"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.995199978351593,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9779000282287598,"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/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.7888935208320618},{"id":"https://openalex.org/keywords/monadic-predicate-calculus","display_name":"Monadic predicate calculus","score":0.7753522396087646},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6098813414573669},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.5816797614097595},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5493906140327454},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.545490026473999},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5353569984436035},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.49091964960098267},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4794791638851166},{"id":"https://openalex.org/keywords/second-order-logic","display_name":"Second-order logic","score":0.4441237449645996},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"First-order logic","score":0.4364285171031952},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.40539979934692383},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3635222315788269},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1915830671787262},{"id":"https://openalex.org/keywords/higher-order-logic","display_name":"Higher-order logic","score":0.14677298069000244}],"concepts":[{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.7888935208320618},{"id":"https://openalex.org/C124656256","wikidata":"https://www.wikidata.org/wiki/Q6897882","display_name":"Monadic predicate calculus","level":4,"score":0.7753522396087646},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6098813414573669},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.5816797614097595},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5493906140327454},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.545490026473999},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5353569984436035},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49091964960098267},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4794791638851166},{"id":"https://openalex.org/C144791301","wikidata":"https://www.wikidata.org/wiki/Q1548746","display_name":"Second-order logic","level":4,"score":0.4441237449645996},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.4364285171031952},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.40539979934692383},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3635222315788269},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1915830671787262},{"id":"https://openalex.org/C169896238","wikidata":"https://www.wikidata.org/wiki/Q1644136","display_name":"Higher-order logic","level":3,"score":0.14677298069000244},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/s1571-0661(05)80364-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80364-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80364-0","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80364-0","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1957220325","https://openalex.org/W125116438","https://openalex.org/W1506160289","https://openalex.org/W4248255368","https://openalex.org/W3026689988","https://openalex.org/W2583825190","https://openalex.org/W2168853641","https://openalex.org/W2161814552","https://openalex.org/W1545660605","https://openalex.org/W2064994844"],"abstract_inverted_index":{"Mazurkiewicz":[0],"traces":[1],"are":[2,51,67,98,220],"one":[3,28],"of":[4,9,29,39,53,76,141,147,160,166,172,182],"the":[5,14,22,30,37,71,74,86,101,125,139,150,158,177,212],"simplest":[6],"non-interleaving":[7],"model":[8,16,108],"executions.":[10],"For":[11,48],"some":[12,217],"systems":[13],"trace":[15,134],"may":[17],"be":[18,122],"exponentially":[19],"smaller":[20],"than":[21],"transition":[23],"system":[24],"model.":[25],"This":[26],"is":[27,80,135,144,154,163,188],"motivations":[31],"for":[32,128],"studying":[33],"formalisms":[34,215],"describing":[35],"directly":[36],"properties":[38],"traces.":[40,129],"Traces":[41],"have":[42,85,200],"also":[43],"very":[44,68],"nice":[45],"theoretical":[46],"properties.":[47],"example,":[49],"there":[50,205],"characterizations":[52,66],"first-order":[54],"definable":[55,60],"and":[56,64,107,124],"monadic":[57],"second":[58],"order":[59,94],"(i.e.":[61,104],"regular)":[62],"languages":[63],"these":[65,198],"similar":[69],"to":[70,81,118,191],"ones":[72],"in":[73,111,149],"case":[75],"words.":[77],"Our":[78],"goal":[79],"find":[82,192],"formalism":[83,196],"that":[84,97,219],"same":[87,102],"expressive":[88],"power":[89],"as":[90],"first":[91],"or":[92],"monadic-second":[93],"logic":[95,132,153],"but":[96,197],"manageable":[99],"at":[100],"time":[103],"with":[105],"satisfiability":[106],"checking":[109],"problems":[110],"PSPACE).":[112],"In":[113],"other":[114],"words,":[115],"we":[116],"want":[117],"understand":[119],"what":[120],"can":[121],"LTL":[123],"mu-calculus":[126],"variants":[127],"A":[130,152],"temporal":[131],"over":[133],"called":[136,155],"local":[137,207],"if":[138,157],"meaning":[140,159],"a":[142,145,161,164],"formula":[143,162],"set":[146,165],"positions":[148],"trace.":[151],"global":[156,185],"configurations":[167],"(finite":[168],"downwards":[169],"closed":[170],"subsets":[171],"positions).":[173],"We":[174],"will":[175],"survey":[176],"results":[178],"on":[179],"both":[180],"kind":[181],"logics.":[183,210],"Among":[184],"logics":[186,199],"it":[187],"relatively":[189],"easy":[190],"an":[193],"expressively":[194,208],"complete":[195,209],"high":[201],"complexity.":[202],"Somewhat":[203],"surprisingly":[204],"exist":[206],"Unfortunately,":[211],"presently":[213],"known":[214],"require":[216],"operators":[218],"not":[221],"completely":[222],"satisfactory.":[223]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}