{"id":"https://openalex.org/W1571487936","doi":null,"title":"Concurrent and Real-time Systems: The CSP Approach","display_name":"Concurrent and Real-time Systems: The CSP Approach","publication_year":1999,"publication_date":"1999-11-05","ids":{"openalex":"https://openalex.org/W1571487936","mag":"1571487936"},"language":"en","primary_location":{"id":"pmh:oai:alma.44SUR_INST:11138926040002346","doi":null,"is_oa":false,"landing_page_url":"https://openresearch.surrey.ac.uk/esploro/outputs/book/Concurrent-and-real-time-systems-the-CSP/99512666402346","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"Open Research (University of Surrey)","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","dongbi-c","poland-20","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Book"},"volume":null,"type":"book","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/A5000838833","display_name":"Steve A. Schneider","orcid":"https://orcid.org/0000-0001-8365-6993","observed_orcids":["https://orcid.org/0000-0001-8365-6993"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Steve Schneider","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-8365-6993","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5000838833"],"corresponding_institution_ids":[],"apc_list":{"value":3000,"currency":"USD","value_usd":3000},"apc_paid":null,"fwci":4.0218,"has_fulltext":false,"cited_by_count":413,"citation_normalized_percentile":{"value":0.94023904,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":100},"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.9911999702453613,"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.9911999702453613,"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.007600000128149986,"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.00039999998989515007,"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/communicating-sequential-processes","display_name":"Communicating Sequential Processes","score":0.9829999804496765},{"id":"https://openalex.org/keywords/concurrent-systems","display_name":"concurrent systems","score":0.8939999938011169},{"id":"https://openalex.org/keywords/real-time-systems","display_name":"real-time systems","score":0.9990000128746033},{"id":"https://openalex.org/keywords/timed-csp","display_name":"Timed CSP","score":0.7590000033378601},{"id":"https://openalex.org/keywords/trace","display_name":"traces","score":0.4269999861717224},{"id":"https://openalex.org/keywords/failure","display_name":"failure","score":0.6000000238418579},{"id":"https://openalex.org/keywords/divergence","display_name":"divergence","score":0.9589999914169312},{"id":"https://openalex.org/keywords/infinite-traces","display_name":"infinite traces","score":0.953000009059906},{"id":"https://openalex.org/keywords/process-semantics","display_name":"process semantics","score":0.6309999823570251},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.5950000286102295},{"id":"https://openalex.org/keywords/fdr","display_name":"FDR","score":0.7960000038146973},{"id":"https://openalex.org/keywords/probes","display_name":"probes","score":0.6850000023841858},{"id":"https://openalex.org/keywords/specification-and-verification","display_name":"specification and verification","score":0.6000000238418579}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8667567372322083},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8196405172348022},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7070693969726562},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6261360049247742},{"id":"https://openalex.org/C155214134","wikidata":"https://www.wikidata.org/wiki/Q1120460","display_name":"Communicating sequential processes","level":4,"score":0.5414285063743591},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5404151082038879},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4694630205631256},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4528551399707794},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.431708425283432},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.42145392298698425},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4197160303592682},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.4125726819038391},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36231476068496704},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.26640352606773376},{"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/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:alma.44SUR_INST:11138926040002346","doi":null,"is_oa":false,"landing_page_url":"https://openresearch.surrey.ac.uk/esploro/outputs/book/Concurrent-and-real-time-systems-the-CSP/99512666402346","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"Open Research (University of Surrey)","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","dongbi-c","poland-20","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Book"},{"id":"pmh:oai:cds.cern.ch:402458","doi":null,"is_oa":false,"landing_page_url":"http://cds.cern.ch/record/402458","pdf_url":null,"source":{"id":"https://openalex.org/S4306402195","display_name":"CERN Document Server (European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"pmh:oai:epubs.surrey.ac.uk:831818","doi":null,"is_oa":false,"landing_page_url":"http://epubs.surrey.ac.uk/831818/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400680","display_name":"Surrey Research Insight Open Access (The University of Surrey)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I28290843","host_organization_name":"University of Surrey","host_organization_lineage":["https://openalex.org/I28290843"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Book"},{"id":"mag:1571487936","doi":null,"is_oa":false,"landing_page_url":"https://ci.nii.ac.jp/ncid/BA44682127","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":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2625287850","https://openalex.org/W1584705600","https://openalex.org/W1517875689","https://openalex.org/W1483025148","https://openalex.org/W2040558780","https://openalex.org/W1602114053","https://openalex.org/W2064797645","https://openalex.org/W7100994154","https://openalex.org/W193313958","https://openalex.org/W7097118447"],"abstract_inverted_index":{"From":[0],"the":[1,10,23,80,84,98,110,115,119,128,135,139],"Publisher:\r\nThe":[2],"CSP":[3,146,223],"approach":[4],"has":[5],"been":[6],"widely":[7],"used":[8],"in":[9,97,118],"specification,":[11],"analysis":[12,100],"and":[13,17,20,40,46,59,73,91,94,101,125,141,152,168,177,184,190,213,224],"verification":[14,102],"of":[15,82,103,109,130,162,208,251],"concurrent":[16,104],"real-time":[18],"systems,":[19],"for":[21],"understanding":[22],"particular":[24],"issues":[25],"that":[26],"can":[27],"arise":[28],"when":[29],"concurrency":[30,70],"is":[31],"present.":[32],"It":[33],"provides":[34],"a":[35,50],"language":[36,81],"which":[37,53,133],"enables":[38],"specifications":[39],"designs":[41],"to":[42,56,61,148,154],"be":[43,57,62],"clearly":[44],"expressed":[45],"understood,":[47],"together":[48],"with":[49,179,186,235,239],"supporting":[51],"theory":[52,129],"allows":[54],"them":[55],"analyzed":[58],"shown":[60],"correct.\r\nThis":[63],"book":[64,111],"supports":[65],"advanced":[66],"level":[67],"courses":[68],"on":[69,150],"covering":[71],"timed":[72,120],"untimed":[74],"CSP.":[75],"The":[76,106,160,197],"first":[77],"half":[78,108],"introduces":[79,112],"CSP,":[83],"primary":[85],"semantic":[86,121],"models":[87],"(traces,":[88],"failures,":[89],"divergences":[90],"infinite":[92],"traces),":[93],"their":[95],"use":[96],"modelling,":[99],"systems.":[105],"second":[107],"time":[113],"into":[114],"language,":[116],"brings":[117],"model":[122],"(timed":[123],"failures)":[124],"finally":[126],"presents":[127],"timewise":[131],"refinement":[132],"links":[134],"two":[136],"halves":[137],"together.\r\nContaining":[138],"following:\r\n-Exercises":[140],"solutions\r\n-Instructors":[142],"resources":[143],"\r\n-":[144],"Example":[145],"programs":[147],"run":[149],"FDR":[151,243],"ProBe\r\n-Links":[153],"useful":[155],"sites\r\nPartial":[156],"Contents:":[157],"Part":[158,171,193,203],"I:":[159],"Language":[161],"CSP;":[163,210,230,249],"Sequential":[164],"Processes;":[165,174],"Concurrency;":[166],"Abstraction":[167],"Control":[169],"Flow;":[170],"II:":[172],"Analyzing":[173],"Traces;":[175,180,192],"Specification":[176,183,212],"Verification":[178,185],"Stable":[181],"Failures;":[182,187],"Failures,":[188],"Divergences,":[189],"Infinite":[191],"III:":[194],"Introducing":[195],"Time;":[196,220],"Timed":[198,200,205,209,211,229],"Language;":[199],"transition":[201],"systems;":[202],"IV:":[204],"Analysis;":[206],"Semantics":[207],"Verification;":[214],"Timewise":[215],"Refinement;":[216,245],"Appendix":[217,233],"A:":[218],"Event-based":[219],"A.1":[221],"Standard":[222],"$tock$;":[225],"A.2":[226],"Translating":[227],"from":[228],"A.3":[231],"Notes;":[232],"B:Model-checking":[234],"FDR;":[236,240],"B.1":[237],"Interacting":[238],"B.2":[241],"How":[242],"Checks":[244],"B.3":[246],"Machine":[247],"readable":[248],"Index":[250],"Processes.":[252]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":10},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":17},{"year":2014,"cited_by_count":10},{"year":2013,"cited_by_count":27},{"year":2012,"cited_by_count":24}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}