{"id":"https://openalex.org/W2130062575","doi":"https://doi.org/10.1007/3-540-45319-9_16","title":"First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders","display_name":"First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W2130062575","doi":"https://doi.org/10.1007/3-540-45319-9_16","mag":"2130062575"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-45319-9_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-45319-9_16","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/f83f4b48-a3dd-4cb4-8272-27ba9b7bacf4","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108074404","display_name":"Theo C. Ruys","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":"Theo C. Ruys","raw_affiliation_strings":["Univ. of Twente#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Twente#TAB#","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":["Univ. of Twente#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Twente#TAB#","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090819329","display_name":"Joost-Pieter Katoen","orcid":"https://orcid.org/0000-0002-6143-1926"},"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":"Joost-Pieter Katoen","raw_affiliation_strings":["Univ. of Twente#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Twente#TAB#","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":[],"countries":[],"is_corresponding":false,"raw_author_name":"Diego Latella","raw_affiliation_strings":["Istituto CNUCE"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Istituto CNUCE","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049483818","display_name":"Mieke Massink","orcid":"https://orcid.org/0000-0001-5089-002X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mieke Massink","raw_affiliation_strings":["Istituto CNUCE"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Istituto CNUCE","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.0903,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.87108434,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"220","last_page":"235"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9962000250816345,"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.9962000250816345,"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.9811000227928162,"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"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9757000207901001,"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/computer-science","display_name":"Computer science","score":0.7461041212081909},{"id":"https://openalex.org/keywords/prefix","display_name":"Prefix","score":0.6969401836395264},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.6025415062904358},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.5982028245925903},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5206915140151978},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.480158269405365},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.46013468503952026},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43772631883621216},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.42696547508239746},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.42557820677757263},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3966411352157593},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18670397996902466},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18002331256866455}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7461041212081909},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.6969401836395264},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6025415062904358},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.5982028245925903},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5206915140151978},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.480158269405365},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.46013468503952026},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43772631883621216},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.42696547508239746},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.42557820677757263},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3966411352157593},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18670397996902466},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18002331256866455},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/3-540-45319-9_16","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-45319-9_16","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/f83f4b48-a3dd-4cb4-8272-27ba9b7bacf4","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/f83f4b48-a3dd-4cb4-8272-27ba9b7bacf4","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":"Ruys, T C, Langerak, R, Katoen, J-P, Latella, D & Massink, M 2001, First passage time analysis of stochastic process algebra using partial orders. in T Margaria & W Yi (eds), Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2\u20136, 2001. Proceedings. Lecture Notes in Computer Science, vol. 2031, Springer, Berlin, Heidelberg, pp. 220-235, 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001, Genova, Italy, 2/04/01. https://doi.org/10.1007/3-540-45319-9_16","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:dnet:people______::109e4e3528d873a4f4db990e59ec0d8e","is_oa":false,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::109e4e3528d873a4f4db990e59ec0d8e","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":"TACAS 2001 - 7th International Conference, pp. 220\u2013235, Genova, Italy, 2-6 April, 2001","raw_type":"Conference article"},{"id":"pmh:oai:ris.utwente.nl:publications/f83f4b48-a3dd-4cb4-8272-27ba9b7bacf4","is_oa":false,"landing_page_url":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire/f83f4b48-a3dd-4cb4-8272-27ba9b7bacf4","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/f83f4b48-a3dd-4cb4-8272-27ba9b7bacf4","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":"Ruys, T C, Langerak, R, Katoen, J-P, Latella, D & Massink, M 2001, First passage time analysis of stochastic process algebra using partial orders. in T Margaria & W Yi (eds), Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2\u20136, 2001. Proceedings. Lecture Notes in Computer Science, vol. 2031, Springer, Berlin, Heidelberg, pp. 220-235, 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001, Genova, Italy, 2/04/01. https://doi.org/10.1007/3-540-45319-9_16","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Life in Land","id":"https://metadata.un.org/sdg/15"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1517173520","https://openalex.org/W1530422364","https://openalex.org/W1545761035","https://openalex.org/W1565314541","https://openalex.org/W1578477039","https://openalex.org/W1597655219","https://openalex.org/W1874180568","https://openalex.org/W1900721122","https://openalex.org/W1907401487","https://openalex.org/W1937565299","https://openalex.org/W1965237160","https://openalex.org/W1991052229","https://openalex.org/W2021089599","https://openalex.org/W2030810725","https://openalex.org/W2040633651","https://openalex.org/W2087409327","https://openalex.org/W2109142454","https://openalex.org/W2121005961","https://openalex.org/W2121115481","https://openalex.org/W2121372686","https://openalex.org/W2126536832","https://openalex.org/W2130793115","https://openalex.org/W2146822640","https://openalex.org/W2159202155","https://openalex.org/W2159758671","https://openalex.org/W2491539874","https://openalex.org/W2501984317","https://openalex.org/W3141216424","https://openalex.org/W4206542816","https://openalex.org/W4285719527","https://openalex.org/W4289868901","https://openalex.org/W4300021588","https://openalex.org/W6633888982","https://openalex.org/W6634675260","https://openalex.org/W6635976569","https://openalex.org/W6639751775","https://openalex.org/W7034239431"],"related_works":["https://openalex.org/W2142481367","https://openalex.org/W3196321793","https://openalex.org/W3080705045","https://openalex.org/W2170466294","https://openalex.org/W2132217355","https://openalex.org/W2123111774","https://openalex.org/W1511004497","https://openalex.org/W2142005831","https://openalex.org/W2014322972","https://openalex.org/W1599162377"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}