{"id":"https://openalex.org/W2131862443","doi":"https://doi.org/10.3233/fi-1997-291203","title":"DISCRETE TIME PROCESS ALGEBRA: ABSOLUTE TIME, RELATIVE TIME AND PARAMETRIC TIME","display_name":"DISCRETE TIME PROCESS ALGEBRA: ABSOLUTE TIME, RELATIVE TIME AND PARAMETRIC TIME","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W2131862443","doi":"https://doi.org/10.3233/fi-1997-291203","mag":"2131862443"},"language":"en","primary_location":{"id":"doi:10.3233/fi-1997-291203","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-1997-291203","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","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/A5110382800","display_name":"J. C. M. Baeten","orcid":null},"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"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"J.C.M. Baeten","raw_affiliation_strings":["Department of Computing Science, Eindhoven University of Technology, P.O.Box 513, 5600 MB Eindhoven, The Netherlands","Department of Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Computing Science, Eindhoven University of Technology, P.O.Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Department of Computing Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5032380170","display_name":"J.A. Bergstra","orcid":"https://orcid.org/0000-0003-2492-506X"},"institutions":[{"id":"https://openalex.org/I193662353","display_name":"Utrecht University","ror":"https://ror.org/04pp8hn57","country_code":"NL","type":"education","lineage":["https://openalex.org/I193662353"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"J.A. Bergstra","raw_affiliation_strings":["Programming Research Group, University of Amsterdam, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands and Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS Utrecht, The Netherlands","Programming Research Group, University of Amsterdam, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands and Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS Utrecht, The Neth ...#TAB#"],"affiliations":[{"raw_affiliation_string":"Programming Research Group, University of Amsterdam, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands and Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS Utrecht, The Netherlands","institution_ids":["https://openalex.org/I193662353","https://openalex.org/I887064364"]},{"raw_affiliation_string":"Programming Research Group, University of Amsterdam, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands and Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS Utrecht, The Neth ...#TAB#","institution_ids":["https://openalex.org/I193662353","https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5110382800"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":2.5121,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.89721852,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"29","issue":"1-2","first_page":"51","last_page":"76"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","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"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9937000274658203,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9857000112533569,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/absolute","display_name":"Absolute (philosophy)","score":0.6408865451812744},{"id":"https://openalex.org/keywords/discrete-time-and-continuous-time","display_name":"Discrete time and continuous time","score":0.6055184006690979},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.5065616369247437},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4978036880493164},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.49031856656074524},{"id":"https://openalex.org/keywords/discrete-time-stochastic-process","display_name":"Discrete-time stochastic process","score":0.4191282391548157},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.39552104473114014},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32821691036224365},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.19491764903068542},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.1836555302143097},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.14275255799293518},{"id":"https://openalex.org/keywords/continuous-time-stochastic-process","display_name":"Continuous-time stochastic process","score":0.10258635878562927},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09575048089027405}],"concepts":[{"id":"https://openalex.org/C2777487392","wikidata":"https://www.wikidata.org/wiki/Q481201","display_name":"Absolute (philosophy)","level":2,"score":0.6408865451812744},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.6055184006690979},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.5065616369247437},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4978036880493164},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.49031856656074524},{"id":"https://openalex.org/C92703954","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Discrete-time stochastic process","level":4,"score":0.4191282391548157},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.39552104473114014},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32821691036224365},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.19491764903068542},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.1836555302143097},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.14275255799293518},{"id":"https://openalex.org/C158535547","wikidata":"https://www.wikidata.org/wiki/Q5165437","display_name":"Continuous-time stochastic process","level":3,"score":0.10258635878562927},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09575048089027405},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/fi-1997-291203","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-1997-291203","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/452fbd3b-a518-400d-bbdd-3bca8578860f","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/452fbd3b-a518-400d-bbdd-3bca8578860f","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W103974107","https://openalex.org/W199820776","https://openalex.org/W1491619344","https://openalex.org/W1547562281","https://openalex.org/W1559986400","https://openalex.org/W1586199930","https://openalex.org/W1834262393","https://openalex.org/W1923184365","https://openalex.org/W1972478730","https://openalex.org/W1994216518","https://openalex.org/W2085912345","https://openalex.org/W2089546907","https://openalex.org/W2110846749","https://openalex.org/W2114817587","https://openalex.org/W2126860147","https://openalex.org/W2136133653","https://openalex.org/W2137250214","https://openalex.org/W2137865376","https://openalex.org/W2138549619","https://openalex.org/W2146604379","https://openalex.org/W2151271773","https://openalex.org/W2155745357","https://openalex.org/W2155927216","https://openalex.org/W2163123880","https://openalex.org/W2169983600","https://openalex.org/W2340102009","https://openalex.org/W2582046978","https://openalex.org/W2587021999","https://openalex.org/W2587806489","https://openalex.org/W2593721272"],"related_works":["https://openalex.org/W2912324827","https://openalex.org/W2171105877","https://openalex.org/W2789985026","https://openalex.org/W3123169305","https://openalex.org/W2022292713","https://openalex.org/W1603461487","https://openalex.org/W2913519323","https://openalex.org/W2098954817","https://openalex.org/W2477147293","https://openalex.org/W1606082792"],"abstract_inverted_index":{"We":[0],"discuss":[1],"the":[2,11],"key":[3],"notions":[4],"of":[5,13],"discrete":[6,19],"time":[7,29],"process":[8],"algebra":[9],"in":[10,18],"setting":[12],"ACP.":[14],"Time":[15],"is":[16,23],"measured":[17],"slices.":[20],"The":[21],"emphasis":[22],"on":[24],"absolute,":[25],"relative":[26],"and":[27],"parametric":[28],"notation.":[30],"Note:":[31],"Partial":[32],"support":[33],"received":[34],"from":[35],"ESPRIT":[36],"Basic":[37],"Research":[38],"Action":[39],"7166,":[40],"C0NCUR2.":[41]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}