{"id":"https://openalex.org/W33999338","doi":null,"title":"Value Passing in Stochastically Timed Process Algebras: A Symbolic Approach based on Lookahead","display_name":"Value Passing in Stochastically Timed Process Algebras: A Symbolic Approach based on Lookahead","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W33999338","mag":"33999338"},"language":"en","primary_location":{"id":"mag:33999338","doi":null,"is_oa":false,"landing_page_url":"http://www.informatica.unibo.it/it/ricerca/technical-report/1998/pdfs/98-10.ps.gz","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5090241572","display_name":"Marco Bernardo","orcid":"https://orcid.org/0000-0003-0267-6170","observed_orcids":["https://orcid.org/0000-0003-0267-6170"]},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Marco Bernardo","raw_affiliation_strings":["University of Bologna"],"raw_orcid":"https://orcid.org/0000-0003-0267-6170","affiliations":[{"raw_affiliation_string":"University of Bologna","institution_ids":["https://openalex.org/I9360294"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5090241572"],"corresponding_institution_ids":["https://openalex.org/I9360294"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.00778342,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.7455999851226807,"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.7455999851226807,"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/T10126","display_name":"Logic, programming, and type systems","score":0.22220000624656677,"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"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.02290000021457672,"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/value-passing","display_name":"value passing","score":0.9089999794960022},{"id":"https://openalex.org/keywords/empa","display_name":"EMPA","score":0.9409999847412109},{"id":"https://openalex.org/keywords/symbolic-semantics","display_name":"symbolic semantics","score":0.8809999823570251},{"id":"https://openalex.org/keywords/markovian-process-algebra","display_name":"Markovian process algebra","score":0.8579999804496765},{"id":"https://openalex.org/keywords/conditional-operators","display_name":"conditional operators","score":0.7269999980926514},{"id":"https://openalex.org/keywords/constant-parameters","display_name":"constant parameters","score":0.7049999833106995},{"id":"https://openalex.org/keywords/data-intensive-systems","display_name":"data-intensive systems","score":0.3529999852180481}],"concepts":[{"id":"https://openalex.org/C2776095079","wikidata":"https://www.wikidata.org/wiki/Q489538","display_name":"The Symbolic","level":2,"score":0.6201297044754028},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5712189674377441},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.535997211933136},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.49079903960227966},{"id":"https://openalex.org/C37926939","wikidata":"https://www.wikidata.org/wiki/Q7449061","display_name":"Semantic equivalence","level":4,"score":0.48964864015579224},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.47961199283599854},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4776938259601593},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.4585987329483032},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.41013872623443604},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2846212685108185},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26015812158584595},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.25379112362861633},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2445620596408844},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.18178674578666687},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.1291351020336151},{"id":"https://openalex.org/C511149849","wikidata":"https://www.wikidata.org/wiki/Q7449051","display_name":"Semantic computing","level":3,"score":0.09889480471611023},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:33999338","doi":null,"is_oa":false,"landing_page_url":"http://www.informatica.unibo.it/it/ricerca/technical-report/1998/pdfs/98-10.ps.gz","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G2170253331","display_name":"Whole gamma imaging to break through the physical limitation of positron emission tomography","funder_award_id":"20H05667","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320324177","display_name":"Otsuka Pharmaceutical","ror":"https://ror.org/013k5y296"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W109112237","https://openalex.org/W1503973138","https://openalex.org/W1522645051","https://openalex.org/W1863244539","https://openalex.org/W1902692042","https://openalex.org/W1978358700","https://openalex.org/W2004627178","https://openalex.org/W2034486676","https://openalex.org/W2109142454","https://openalex.org/W2171808992","https://openalex.org/W2201190784","https://openalex.org/W2512106959","https://openalex.org/W2765884454","https://openalex.org/W2807637103","https://openalex.org/W2892758519","https://openalex.org/W2913663755","https://openalex.org/W2923396001","https://openalex.org/W2924578117","https://openalex.org/W2943335541","https://openalex.org/W2965223724"],"related_works":["https://openalex.org/W7056460737","https://openalex.org/W7024765851","https://openalex.org/W2148856178","https://openalex.org/W157690310","https://openalex.org/W2034838425","https://openalex.org/W114482421","https://openalex.org/W2031124488","https://openalex.org/W7095719023","https://openalex.org/W2065978248","https://openalex.org/W1607941371"],"abstract_inverted_index":{"The":[0,136],"purpose":[1],"of":[2,74,78,159],"this":[3,31],"paper":[4,137],"is":[5,32,162],"to":[6,15,18,108,144,152],"suitably":[7],"extend":[8,39],"EMPA":[9],"with":[10,67,106],"value":[11,142],"passing":[12,143],"in":[13,34,42,155],"order":[14],"be":[16],"able":[17],"model":[19,153],"and":[20,49,54,80,115,120],"analyze":[21],"those":[22],"systems":[23,154],"where":[24],"data":[25],"plays":[26],"a":[27,128,145],"fundamental":[28],"role.":[29],"Conceptually,":[30],"achieved":[33],"three":[35],"steps.":[36],"First,":[37],"we":[38,58,81,126],"the":[40,43,63,75,89,110,116,133,157,160],"syntax":[41],"usual":[44,111],"way":[45],"by":[46],"adding":[47,141],"input":[48],"output":[50],"actions,":[51],"conditional":[52],"operators,":[53],"constant":[55],"parameters.":[56],"Second,":[57],"propose":[59],"as":[60],"semantic":[61,84,94,113],"models":[62,77],"symbolic":[64,76,83,90,93,123,134],"transition":[65],"graphs":[66],"lookahead":[68],"assignment,":[69],"which":[70,156],"are":[71,104],"an":[72],"improvement":[73],"Hennessy-Lin,":[79],"define":[82],"rules":[85,95,114],"mapping":[86],"terms":[87],"onto":[88],"models.":[91,124,135],"Such":[92],"do":[96],"not":[97],"make":[98],"any":[99],"assumption":[100],"on":[101],"variable":[102],"names,":[103],"correct":[105],"respect":[107],"both":[109],"concrete":[112],"assignment":[117],"evaluation":[118],"order,":[119],"produce":[121],"compact":[122],"Third,":[125],"exhibit":[127],"suitable":[129],"integrated":[130],"equivalence":[131],"for":[132],"also":[138],"shows":[139],"that":[140],"Markovian":[146],"process":[147],"algebra":[148],"makes":[149],"it":[150],"possible":[151],"duration":[158],"activities":[161],"generally":[163],"distributed.":[164],"1.":[165],"Universita":[166],"di":[167,170],"Bologna,":[168,178],"Dipartimento":[169],"Scienze":[171],"dell\u2019Informazione,":[172],"Mura":[173],"Anteo":[174],"Zamboni":[175],"7,":[176],"40127":[177],"Italy.":[179],"Email:":[180],"bernardo@cs.unibo.it.":[181]},"counts_by_year":[],"updated_date":"2026-10-01T08:54:57.152042","created_date":"2016-06-24T00:00:00"}