{"id":"https://openalex.org/W4404448336","doi":"https://doi.org/10.1007/978-3-031-75778-5_14","title":"Measured Causes: Adding Time and Probability to True Concurrency","display_name":"Measured Causes: Adding Time and Probability to True Concurrency","publication_year":2024,"publication_date":"2024-11-17","ids":{"openalex":"https://openalex.org/W4404448336","doi":"https://doi.org/10.1007/978-3-031-75778-5_14"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-75778-5_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-75778-5_14","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":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.utwente.nl/en/publications/13068404-fd37-4675-994e-d68fc3ea1c0d","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070465089","display_name":"Ed Brinksma","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Ed Brinksma","raw_affiliation_strings":["Formal Methods and Tools Group, Faculty of EEMCS, University of Twente, Enschede, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools Group, Faculty of EEMCS, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014945719","display_name":"Rom Langerak","orcid":"https://orcid.org/0000-0002-1955-5183"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Rom Langerak","raw_affiliation_strings":["Formal Methods and Tools Group, Faculty of EEMCS, University of Twente, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-1955-5183","affiliations":[{"raw_affiliation_string":"Formal Methods and Tools Group, Faculty of EEMCS, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049253314","display_name":"Diego Latella","orcid":"https://orcid.org/0000-0002-3257-9059"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Diego Latella","raw_affiliation_strings":["Formal Methods and Tools Laboratory, ISTI, CNR, Pisa, Italy"],"raw_orcid":"https://orcid.org/0000-0002-3257-9059","affiliations":[{"raw_affiliation_string":"Formal Methods and Tools Laboratory, ISTI, CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049483818","display_name":"Mieke Massink","orcid":"https://orcid.org/0000-0001-5089-002X"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Mieke Massink","raw_affiliation_strings":["Formal Methods and Tools Laboratory, ISTI, CNR, Pisa, Italy"],"raw_orcid":"https://orcid.org/0000-0001-5089-002X","affiliations":[{"raw_affiliation_string":"Formal Methods and Tools Laboratory, ISTI, CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5049483818"],"corresponding_institution_ids":["https://openalex.org/I122991210"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.4390166,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"297","last_page":"308"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9879000186920166,"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/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9879000186920166,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9873999953269958,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9865999817848206,"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/concurrency","display_name":"Concurrency","score":0.8773728013038635},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8771936893463135},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.4470246136188507},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40277838706970215},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3465532064437866},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34352558851242065},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3200039565563202},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.05526763200759888}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8773728013038635},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8771936893463135},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.4470246136188507},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40277838706970215},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3465532064437866},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34352558851242065},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3200039565563202},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.05526763200759888}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-75778-5_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-75778-5_14","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":"pmh:oai:ris.utwente.nl:openaire/13068404-fd37-4675-994e-d68fc3ea1c0d","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/13068404-fd37-4675-994e-d68fc3ea1c0d","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Brinksma, E, Langerak, R, Latella, D & Massink, M 2024, Measured Causes : Adding Time and Probability to True Concurrency: Ten Papers with Pisa and Twente. in Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15262 LNCS, Springer, pp. 297-308. https://doi.org/10.1007/978-3-031-75778-5_14","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:dnet:iris________::5cf15054656a23cf6347aeabb268ac5b","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open 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":"LECTURE NOTES IN COMPUTER SCIENCE, vol. 15262, pp. 297-308","raw_type":"Contribution to book"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire/13068404-fd37-4675-994e-d68fc3ea1c0d","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/13068404-fd37-4675-994e-d68fc3ea1c0d","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Brinksma, E, Langerak, R, Latella, D & Massink, M 2024, Measured Causes : Adding Time and Probability to True Concurrency: Ten Papers with Pisa and Twente. in Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 15262 LNCS, Springer, pp. 297-308. https://doi.org/10.1007/978-3-031-75778-5_14","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"score":0.4099999964237213,"id":"https://metadata.un.org/sdg/5","display_name":"Gender equality"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W833623819","https://openalex.org/W1559114204","https://openalex.org/W1576138800","https://openalex.org/W1577701297","https://openalex.org/W1794303326","https://openalex.org/W1880480814","https://openalex.org/W1938699391","https://openalex.org/W1965237160","https://openalex.org/W2030810725","https://openalex.org/W2040598439","https://openalex.org/W2099811898","https://openalex.org/W2103121043","https://openalex.org/W2104316803","https://openalex.org/W2121372686","https://openalex.org/W2130062575","https://openalex.org/W2143641004","https://openalex.org/W2146822640","https://openalex.org/W2159758671","https://openalex.org/W2161235182","https://openalex.org/W2248132030","https://openalex.org/W2340054356","https://openalex.org/W2493505351","https://openalex.org/W2521165853","https://openalex.org/W2527872501","https://openalex.org/W2785192168","https://openalex.org/W2883199778","https://openalex.org/W2917102740","https://openalex.org/W2934379134","https://openalex.org/W3098118882","https://openalex.org/W3099273436","https://openalex.org/W3105577979","https://openalex.org/W3160215750","https://openalex.org/W3176674467","https://openalex.org/W4296970395","https://openalex.org/W4300021588","https://openalex.org/W4323026818","https://openalex.org/W4379981209"],"related_works":["https://openalex.org/W1888970550","https://openalex.org/W3085024073","https://openalex.org/W2477601761","https://openalex.org/W59382029","https://openalex.org/W2997101070","https://openalex.org/W2150179797","https://openalex.org/W2170147831","https://openalex.org/W4242696047","https://openalex.org/W1490475243","https://openalex.org/W1500698072"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}