{"id":"https://openalex.org/W2913559126","doi":"https://doi.org/10.1007/bfb0018343","title":"Temporal Structures","display_name":"Temporal Structures","publication_year":1991,"publication_date":"1991-07-01","ids":{"openalex":"https://openalex.org/W2913559126","doi":"https://doi.org/10.1007/bfb0018343","mag":"2913559126"},"language":"en","primary_location":{"id":"doi:10.1007/bfb0018343","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0018343","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"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/A5066698452","display_name":"Ross Casley","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ross Casley","raw_affiliation_strings":["Dept. of Computer Science, Stanford University, Stanford"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, Stanford University, Stanford","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030057511","display_name":"Roger F. Crew","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Roger F. Crew","raw_affiliation_strings":["Dept. of Computer Science, Stanford University, Stanford"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, Stanford University, Stanford","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102754614","display_name":"Jos\u00e9 Meseguer","orcid":"https://orcid.org/0000-0003-4779-3848"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]},{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jos\u00e9 Meseguer","raw_affiliation_strings":["Center for the Study of Language and Information, Stanford University, Stanford","SRI International, Menlo Park"],"affiliations":[{"raw_affiliation_string":"Center for the Study of Language and Information, Stanford University, Stanford","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"SRI International, Menlo Park","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109845004","display_name":"Vaughan Pratt","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vaughan Pratt","raw_affiliation_strings":["Dept. of Computer Science, Stanford University, Stanford"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, Stanford University, Stanford","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5066698452"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.7537,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.93740917,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":"1","issue":"2","first_page":"179","last_page":"213"},"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.34310001134872437,"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.34310001134872437,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.2531999945640564,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.07859999686479568,"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/geology","display_name":"Geology","score":0.36780208349227905},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3496630787849426}],"concepts":[{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.36780208349227905},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3496630787849426}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/bfb0018343","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0018343","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"doi:10.1017/s0960129500001286","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500001286","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:CiteSeerX.psu:10.1.1.48.2036","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.2036","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://boole.stanford.edu/pub/man.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.91.1471","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.1471","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://boole.stanford.edu/pub/man.pdf","raw_type":"text"},{"id":"mag:2913559126","is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?id=648332.755575","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","display_name":"Climate action","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W75859641","https://openalex.org/W84232747","https://openalex.org/W86527816","https://openalex.org/W178058081","https://openalex.org/W1496594277","https://openalex.org/W1529776960","https://openalex.org/W1546025443","https://openalex.org/W1546749986","https://openalex.org/W1586267180","https://openalex.org/W1787838883","https://openalex.org/W1969398061","https://openalex.org/W1981983505","https://openalex.org/W2001144381","https://openalex.org/W2007572995","https://openalex.org/W2020879982","https://openalex.org/W2102097307","https://openalex.org/W2104734478","https://openalex.org/W2120713972","https://openalex.org/W2135472339","https://openalex.org/W2150320481","https://openalex.org/W2439559863","https://openalex.org/W2911865844","https://openalex.org/W3160064372","https://openalex.org/W4243544101","https://openalex.org/W4256316481","https://openalex.org/W6637190722","https://openalex.org/W6733266850"],"related_works":["https://openalex.org/W2150320481","https://openalex.org/W2137865376","https://openalex.org/W1991052229","https://openalex.org/W2803874140","https://openalex.org/W2132179319","https://openalex.org/W2120713972","https://openalex.org/W2113355185","https://openalex.org/W3109290106","https://openalex.org/W3088422561","https://openalex.org/W2323047769","https://openalex.org/W2494940270","https://openalex.org/W2490478333","https://openalex.org/W2289345322","https://openalex.org/W2911865844","https://openalex.org/W2102097307","https://openalex.org/W2027256978","https://openalex.org/W2621684552","https://openalex.org/W2477201388","https://openalex.org/W2481839754","https://openalex.org/W1936616340"],"abstract_inverted_index":{"We":[0,81,95,128,208],"have":[1],"been":[2],"developing":[3],"a":[4,63,71,78,145,193,210,221,223,229],"process":[5],"specification":[6],"language":[7,168],"PSL":[8,75,214],"based":[9],"on":[10,144,198],"an":[11,52,226],"algebra":[12],"of":[13,22,54,65,68,102,114,142,153,162,192,247],"labeled":[14,230,269],"partial":[15,46],"orders.":[16],"The":[17],"order":[18],"encodes":[19],"temporal":[20,42],"precedence":[21],"events,":[23],"and":[24,70,105,112,134,148,178,245,289],"the":[25,29,92,140,160,166,175,183,190],"event":[26],"labels":[27],"represent":[28],"actions":[30],"performed.":[31],"In":[32],"this":[33,37,234],"paper":[34],"we":[35,158,200],"extend":[36],"basis":[38],"to":[39,48,58,77,84,216,242],"encompass":[40],"other":[41],"metrics":[43,111],"by":[44,196],"generalizing":[45],"orders":[47],"generalized":[49],"metric":[50,146,224,231],"spaces,":[51,69,103,285],"interpretation":[53],"enriched":[55],"categories":[56],"due":[57],"Lawvere.Two":[59],"needs":[60],"then":[61],"arise:":[62],"means":[64],"specifying":[66],"kinds":[67,83,101,113,121,205,250],"well-defined":[72,237],"semantics":[73,212,235],"for":[74,182,213],"relative":[76,215],"given":[79],"kind.":[80],"define":[82,165],"be":[85],"semiconcrete":[86],"symmetric":[87],"monoidal":[88],"(ssm)":[89],"categories,":[90,274,278],"forming":[91],"category":[93,141],"SSM.":[94],"find":[96],"in":[97],"SSM":[98,130],"not":[99],"only":[100],"with":[104,131],"without":[106],"labels,":[107],"but":[108],"their":[109],"underlying":[110],"labeling":[115],"alphabets,":[116],"including":[117],"certain":[118],"basic":[119,184],"bicomplete":[120],"1,2,3,...,":[122],"\\(\\bar":[123,290],"R_":[124,291],"+":[125,292],"\\),":[126],"etc.":[127],"equip":[129],"functors":[132],"!":[133,138,177],"\u22b3,":[135],"where":[136],"D":[137,147,149],"denotes":[139],"spaces":[143],"\u22b3":[150,179,256,266],"\u025b":[151],"that":[152,202],"D-structured":[154],"\u025b-labeled":[155],"spaces.":[156,296],"Finally":[157],"establish":[159],"continuity":[161],"these":[163],"operators.We":[164],"kind":[167,188],"KL":[169,187,194,204,218,248],"whose":[170],"terms":[171],"are":[172,206],"formed":[173],"via":[174],"operators":[176],"from":[180,239],"constants":[181],"kinds.":[185],"A":[186],"is":[189,236],"denotation":[191],"term,":[195],"induction":[197],"which":[199],"obtain":[201],"all":[203],"bicomplete.":[207],"give":[209],"uniform":[211],"any":[217],"kind,":[219],"whether":[220],"metric,":[222],"space,":[225],"alphabet,":[227],"or":[228],"space.":[232],"That":[233],"follows":[238],"its":[240],"adherence":[241],"universal":[243],"constructions":[244],"bicompleteness":[246],"kinds.KL":[249],"include":[251],"1!":[252,257,267],"=":[253,258,262,268,273,276,280,283,287,294],"sets,":[254,260,264,271],"1":[255],"pointed":[259],"2!":[261,265],"preordered":[263,270],"1!!":[272],"2!!":[275],"order-enriched":[277],"1!!!":[279],"2-categories,":[281],"3!":[282],"causal":[284],"3\u2032!":[286],"prossets,":[288],"\\)!":[293],"premetric":[295]},"counts_by_year":[],"updated_date":"2026-03-03T08:47:05.690250","created_date":"2025-10-10T00:00:00"}