{"id":"https://openalex.org/W1565338810","doi":"https://doi.org/10.1007/1-4020-7991-5_17","title":"A New Time Extension to \u03c0-Calculus Based on Time Consuming Transition Semantics","display_name":"A New Time Extension to \u03c0-Calculus Based on Time Consuming Transition Semantics","publication_year":2006,"publication_date":"2006-03-09","ids":{"openalex":"https://openalex.org/W1565338810","doi":"https://doi.org/10.1007/1-4020-7991-5_17","mag":"1565338810"},"language":"en","primary_location":{"id":"doi:10.1007/1-4020-7991-5_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/1-4020-7991-5_17","pdf_url":null,"source":{"id":"https://openalex.org/S4306463519","display_name":"Kluwer Academic Publishers eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Languages for System Specification","raw_type":"book-chapter"},"type":"book-chapter","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/A5075228220","display_name":"Marco Fischer","orcid":null},"institutions":[{"id":"https://openalex.org/I2610724","display_name":"Chemnitz University of Technology","ror":"https://ror.org/00a208s56","country_code":"DE","type":"education","lineage":["https://openalex.org/I2610724"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Marco Fischer","raw_affiliation_strings":["Department of Computer Science, Chemnitz University of Technology, Chemnitz, Germany","EADS Military Aircraft, New Avionics Structures, Munich, Germany","Chemnitz University of Technology, Department of Computer Science, 09107 Chemnitz, Germany and EADS Military Aircraft, New Avionics Structures, 81663 Munich, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Chemnitz University of Technology, Chemnitz, Germany","institution_ids":["https://openalex.org/I2610724"]},{"raw_affiliation_string":"EADS Military Aircraft, New Avionics Structures, Munich, Germany","institution_ids":[]},{"raw_affiliation_string":"Chemnitz University of Technology, Department of Computer Science, 09107 Chemnitz, Germany and EADS Military Aircraft, New Avionics Structures, 81663 Munich, Germany#TAB#","institution_ids":["https://openalex.org/I2610724"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038025408","display_name":"Stefan F\u00f6rster","orcid":"https://orcid.org/0000-0003-3008-3268"},"institutions":[{"id":"https://openalex.org/I2610724","display_name":"Chemnitz University of Technology","ror":"https://ror.org/00a208s56","country_code":"DE","type":"education","lineage":["https://openalex.org/I2610724"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan F\u00f6rster","raw_affiliation_strings":["Chemnitz University of Technology, Department of Computer Science, 09107 Chemnitz, Germany and EADS Military Aircraft, New Avionics Structures, 81663 Munich, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"Chemnitz University of Technology, Department of Computer Science, 09107 Chemnitz, Germany and EADS Military Aircraft, New Avionics Structures, 81663 Munich, Germany#TAB#","institution_ids":["https://openalex.org/I2610724"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109066610","display_name":"Andr\u00e9 Windisch","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andr\u00e9 Windisch","raw_affiliation_strings":["EADS Military Aircraft, New Avionics Structures, Munich, Germany","EADS Military Aircraft, New Avionics Structures, 81663 Munich, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"EADS Military Aircraft, New Avionics Structures, Munich, Germany","institution_ids":[]},{"raw_affiliation_string":"EADS Military Aircraft, New Avionics Structures, 81663 Munich, Germany#TAB#","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064199813","display_name":"Dieter Monjau","orcid":null},"institutions":[{"id":"https://openalex.org/I2610724","display_name":"Chemnitz University of Technology","ror":"https://ror.org/00a208s56","country_code":"DE","type":"education","lineage":["https://openalex.org/I2610724"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dieter Monjau","raw_affiliation_strings":["Department of Computer Science, Chemnitz University of Technology, Chemnitz, Germany","Chemnitz University of Technology, Department of Computer Science, 09107 Chemnitz, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Chemnitz University of Technology, Chemnitz, Germany","institution_ids":["https://openalex.org/I2610724"]},{"raw_affiliation_string":"Chemnitz University of Technology, Department of Computer Science, 09107 Chemnitz, Germany","institution_ids":["https://openalex.org/I2610724"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062129150","display_name":"Burkhard Balser","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Burkhard Balser","raw_affiliation_strings":["EADS Military Aircraft, New Avionics Structures, Munich, Germany","EADS Military Aircraft, New Avionics Structures, 81663 Munich, Germany#TAB#"],"affiliations":[{"raw_affiliation_string":"EADS Military Aircraft, New Avionics Structures, Munich, Germany","institution_ids":[]},{"raw_affiliation_string":"EADS Military Aircraft, New Avionics Structures, 81663 Munich, Germany#TAB#","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5075228220"],"corresponding_institution_ids":["https://openalex.org/I2610724"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.12589987,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"271","last_page":"283"},"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.9986000061035156,"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.9986000061035156,"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.9979000091552734,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/extension","display_name":"Extension (predicate logic)","score":0.8255884647369385},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.6880725026130676},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6793025135993958},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.6504718065261841},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5867739915847778},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5784167647361755},{"id":"https://openalex.org/keywords/transition-time","display_name":"Transition time","score":0.47994282841682434},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.4724472165107727},{"id":"https://openalex.org/keywords/transition","display_name":"Transition (genetics)","score":0.43323129415512085},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40124303102493286},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3625871539115906},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3217223882675171},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29821330308914185},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2818835377693176},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14408132433891296},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.09520256519317627}],"concepts":[{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.8255884647369385},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.6880725026130676},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6793025135993958},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.6504718065261841},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5867739915847778},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5784167647361755},{"id":"https://openalex.org/C2986581786","wikidata":"https://www.wikidata.org/wiki/Q377672","display_name":"Transition time","level":2,"score":0.47994282841682434},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.4724472165107727},{"id":"https://openalex.org/C194232998","wikidata":"https://www.wikidata.org/wiki/Q1606712","display_name":"Transition (genetics)","level":3,"score":0.43323129415512085},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40124303102493286},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3625871539115906},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3217223882675171},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29821330308914185},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2818835377693176},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14408132433891296},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.09520256519317627},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/1-4020-7991-5_17","is_oa":false,"landing_page_url":"https://doi.org/10.1007/1-4020-7991-5_17","pdf_url":null,"source":{"id":"https://openalex.org/S4306463519","display_name":"Kluwer Academic Publishers eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Languages for System Specification","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W130686782","https://openalex.org/W1503973138","https://openalex.org/W1603799276","https://openalex.org/W1799093704","https://openalex.org/W1985660652","https://openalex.org/W2021607222","https://openalex.org/W2037230951","https://openalex.org/W2130773382","https://openalex.org/W2138260396","https://openalex.org/W3144368627","https://openalex.org/W6630104300","https://openalex.org/W6676995014","https://openalex.org/W6680340904"],"related_works":["https://openalex.org/W2245685274","https://openalex.org/W2023210740","https://openalex.org/W3042312155","https://openalex.org/W1604894272","https://openalex.org/W2155852086","https://openalex.org/W207043953","https://openalex.org/W1553580152","https://openalex.org/W3021003119","https://openalex.org/W2036929339","https://openalex.org/W1608609850"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3],"dense":[4],"time":[5,12,68],"extension":[6,18],"of":[7,42,53,55],"the":[8,22,25,39,43,49],"\u03c0-calculus":[9,45],"based":[10],"on":[11],"consuming":[13],"transition":[14,62],"semantics.":[15],"The":[16],"proposed":[17],"tries":[19],"to":[20,24,32],"minimise":[21],"changes":[23],"standard":[26],"calculus":[27],"whilst":[28],"gaining":[29],"enough":[30],"expressiveness":[31],"model":[33],"real-time":[34],"systems.":[35],"Syntactic":[36],"rules":[37],"and":[38,73],"operational":[40],"semantics":[41],"timed":[44,60],"are":[46,75],"given.":[47],"However,":[48],"main":[50],"contribution":[51],"consists":[52],"systems":[54,63],"equations":[56],"recursively":[57],"defined":[58],"over":[59],"labelled":[61],"(TLTS),":[64],"whose":[65],"solutions":[66],"provide":[67],"sets":[69],"stating":[70],"when":[71],"processes":[72],"transitions":[74],"active.":[76]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}