{"id":"https://openalex.org/W2102072470","doi":"https://doi.org/10.3233/fi-2010-269","title":"PSF - A Retrospective","display_name":"PSF - A Retrospective","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W2102072470","doi":"https://doi.org/10.3233/fi-2010-269","mag":"2102072470"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2010-269","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2010-269","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/A5077899204","display_name":"Gerrit Jan Veltink","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104665","display_name":"University of Applied Sciences Emden Leer","ror":"https://ror.org/01bc76c69","country_code":"DE","type":"education","lineage":["https://openalex.org/I4210104665"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Gerrit Jan Veltink","raw_affiliation_strings":["University of Applied Sciences Emden/Leer Institute of\r\t\t\t Media Information Technology (IMuT), Emden, Germany. E-mail: gjv@imut.de","University of Applied Sciences Emden/Leer Institute of Media Information Technology (IMuT), Emden, Germany. E-mail: gjv@imut.de#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Applied Sciences Emden/Leer Institute of\r\t\t\t Media Information Technology (IMuT), Emden, Germany. E-mail: gjv@imut.de","institution_ids":["https://openalex.org/I4210104665"]},{"raw_affiliation_string":"University of Applied Sciences Emden/Leer Institute of Media Information Technology (IMuT), Emden, Germany. E-mail: gjv@imut.de#TAB#","institution_ids":["https://openalex.org/I4210104665"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5077899204"],"corresponding_institution_ids":["https://openalex.org/I4210104665"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.16075528,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"100","issue":"1-4","first_page":"181","last_page":"227"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9972000122070312,"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.9972000122070312,"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.9925000071525574,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9901999831199646,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.43786245584487915}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43786245584487915}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/fi-2010-269","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2010-269","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W194869555","https://openalex.org/W623593394","https://openalex.org/W1129414978","https://openalex.org/W1482007421","https://openalex.org/W1484219369","https://openalex.org/W1498215290","https://openalex.org/W1521991699","https://openalex.org/W1525729637","https://openalex.org/W1532590556","https://openalex.org/W1581908531","https://openalex.org/W1584493698","https://openalex.org/W1601745317","https://openalex.org/W1603788080","https://openalex.org/W1604409022","https://openalex.org/W1604567967","https://openalex.org/W1605849705","https://openalex.org/W1635371784","https://openalex.org/W1664954303","https://openalex.org/W1798294979","https://openalex.org/W1834262393","https://openalex.org/W1964477602","https://openalex.org/W1965014786","https://openalex.org/W1968422018","https://openalex.org/W1972478730","https://openalex.org/W1978469611","https://openalex.org/W1985161650","https://openalex.org/W2073153654","https://openalex.org/W2101206446","https://openalex.org/W2110425399","https://openalex.org/W2113469198","https://openalex.org/W2114817587","https://openalex.org/W2118229393","https://openalex.org/W2130994701","https://openalex.org/W2135158729","https://openalex.org/W2135317805","https://openalex.org/W2136133653","https://openalex.org/W2137250214","https://openalex.org/W2137865376","https://openalex.org/W2145096688","https://openalex.org/W2149381887","https://openalex.org/W2152879290","https://openalex.org/W2158942489","https://openalex.org/W2162022335","https://openalex.org/W2168615519","https://openalex.org/W2187205529","https://openalex.org/W2340102009","https://openalex.org/W2415027178","https://openalex.org/W2592165852","https://openalex.org/W2891255201","https://openalex.org/W2914227004","https://openalex.org/W2964304342","https://openalex.org/W2990967238","https://openalex.org/W3144368627","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880"],"abstract_inverted_index":{"Modern":[0],"day":[1],"computer":[2],"architectures":[3],"offer":[4],"ever-increasing":[5],"support":[6],"for":[7,18,92,180,186,245,264,287],"parallel":[8,27,34,188],"processing,":[9],"still":[10,201],"it":[11,39,227],"turns":[12],"out":[13],"to":[14,23,63,85,108,115,124,150,216,270],"be":[15,64,97],"quite":[16],"difficult":[17],"programmers":[19],"and":[20,95,120,221,225,232,242,266,278,284],"therefore":[21],"programs":[22],"tap":[24],"into":[25],"these":[26],"resources.":[28],"To":[29],"benefit":[30],"from":[31,248],"real":[32],"general-purpose":[33],"computing":[35],"we":[36,51,169,199,274],"claim":[37],"that":[38,42,74,214],"is":[40,46,133],"likely":[41],"a":[43,112,253],"paradigm":[44],"shift":[45],"needed":[47],"in":[48,59,66,83,163,166,261,267],"the":[49,75,88,100,116,125,137,157,172,176,212,217,222,240,243,249,257,280],"way":[50],"think":[52,73],"about":[53,87],"programming.":[54],"This":[55,208],"change":[56],"of":[57,77,90,99,118,127,136,142,156,175,219],"thought":[58],"turn":[60],"will":[61,96,275],"need":[62],"reflected":[65],"future":[67,246,288],"programming":[68,181],"languages":[69],"as":[70,171,252],"well.":[71],"We":[72],"field":[76],"process":[78,110,138],"algebra":[79,139],"provides":[80],"thorough":[81],"insight":[82],"how":[84,230],"reason":[86],"construction":[89,218],"software":[91],"concurrent":[93,272],"systems":[94],"one":[98],"enabling":[101],"technologies":[102],"supporting":[103],"this":[104,203],"transition.":[105],"The":[106],"wish":[107],"connect":[109],"algebra,":[111],"mathematical":[113],"theory,":[114],"world":[117],"computer-readable":[119],"executable":[121],"specifications":[122],"led":[123],"development":[126],"PSF":[128,132,161,220,231,265,269],"(Process":[129],"Specification":[130,148],"Formalism).":[131],"an":[134],"implementation":[135],"ACP":[140],"(Algebra":[141],"Communicating":[143],"Processes)":[144],"integrating":[145],"ASF":[146],"(Algebraic":[147],"Formalism)":[149],"specify":[151,271],"algebraic":[152],"data":[153],"types.":[154],"One":[155],"first":[158,173],"publications":[159],"on":[160],"appeared":[162],"Fundamenta":[164],"Informaticae":[165],"1990.":[167],"Here":[168],"stated":[170],"sentence":[174],"abstract:":[177],"\"Traditional":[178],"methods":[179],"sequential":[182],"machines":[183],"are":[184],"inadequate":[185],"specifying":[187],"systems\".":[189],"Unfortunately,":[190],"though":[191],"some":[192],"advancements":[193],"have":[194,235],"been":[195],"made":[196],"since":[197,237],"1990,":[198],"can":[200],"uphold":[202],"statement":[204],"20":[205],"years":[206],"later.":[207],"current":[209],"report":[210],"documents":[211,229],"developments":[213],"lead":[215],"1990":[223,238],"publication":[224],"moreover":[226],"also":[228],"its":[233],"tools":[234,263],"evolved":[236],"taking":[239],"conclusion":[241],"outlook":[244],"work":[247],"original":[250],"article":[251],"reference":[254],"point.":[255],"Using":[256],"knowledge":[258],"gained":[259],"both":[260],"constructing":[262],"using":[268],"systems,":[273],"judge,":[276],"discuss":[277],"criticise":[279],"design":[281],"decisions":[282],"taken":[283],"show":[285],"paths":[286],"developments.":[289]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-05-02T06:04:40.494371","created_date":"2025-10-10T00:00:00"}