{"id":"https://openalex.org/W2146155152","doi":null,"title":"SystemCSP - Visual Notation","display_name":"SystemCSP - Visual Notation","publication_year":2006,"publication_date":"2006-09-17","ids":{"openalex":"https://openalex.org/W2146155152","mag":"2146155152"},"language":"en","primary_location":{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/ecdcde61-d583-4c56-b6cf-8a45c9e18185","doi":null,"is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/ecdcde61-d583-4c56-b6cf-8a45c9e18185","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,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Orlic, B & Broenink, J F 2006, SystemCSP - Visual Notation. in P H Welch, J Kerridge & F R M Barnes (eds), Communicationg Process Architectures 2006. Concurrent Systems Engineering Series, no. 2, vol. 64, IOS, Edinburg, pp. 151-177. < http://eprints.eemcs.utwente.nl/secure2/6999/01/116CE2006_CPA2006_Olc.pdf >","raw_type":"info:eu-repo/semantics/conferenceObject"},"volume":null,"type":"conference-paper","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/A5000640088","display_name":"Bojan Orli\u0107","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bojan Orlic","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5108667282","display_name":"Johannes F. Broenink","orcid":null,"observed_orcids":[]},"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":"Johannes F. Broenink","raw_affiliation_strings":["Univ. of Twente#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Twente#TAB#","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"151","last_page":"177"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9442999958992004,"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.9442999958992004,"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.021800000220537186,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.020999999716877937,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/communicating-sequential-processes","display_name":"Communicating Sequential Processes","score":0.925000011920929},{"id":"https://openalex.org/keywords/visual-notation","display_name":"visual notation","score":0.8069999814033508},{"id":"https://openalex.org/keywords/graphical-formalism","display_name":"graphical formalism","score":0.7900000214576721},{"id":"https://openalex.org/keywords/distributed-real-time-systems","display_name":"distributed real-time systems","score":0.8009999990463257},{"id":"https://openalex.org/keywords/component-based-design","display_name":"component-based design","score":0.968999981880188},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.9459999799728394},{"id":"https://openalex.org/keywords/formal-methods","display_name":"formal methods","score":0.6449999809265137},{"id":"https://openalex.org/keywords/graphical-modeling","display_name":"graphical modeling","score":0.9779999852180481}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8265800476074219},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.819269061088562},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.675064206123352},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6072725057601929},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.5666282176971436},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5562244653701782},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4601507782936096},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.45107027888298035},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.42168834805488586},{"id":"https://openalex.org/C155214134","wikidata":"https://www.wikidata.org/wiki/Q1120460","display_name":"Communicating sequential processes","level":4,"score":0.418761670589447},{"id":"https://openalex.org/C2780330621","wikidata":"https://www.wikidata.org/wiki/Q7936609","display_name":"Visual modeling","level":4,"score":0.4156340956687927},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.41406887769699097},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3990470767021179},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.23516139388084412},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.17736461758613586},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.07719910144805908},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07122287154197693},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/ecdcde61-d583-4c56-b6cf-8a45c9e18185","doi":null,"is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/ecdcde61-d583-4c56-b6cf-8a45c9e18185","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,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Orlic, B & Broenink, J F 2006, SystemCSP - Visual Notation. in P H Welch, J Kerridge & F R M Barnes (eds), Communicationg Process Architectures 2006. Concurrent Systems Engineering Series, no. 2, vol. 64, IOS, Edinburg, pp. 151-177. < http://eprints.eemcs.utwente.nl/secure2/6999/01/116CE2006_CPA2006_Olc.pdf >","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:673000","doi":null,"is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=673000","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null},{"id":"pmh:oai:library.tue.nl:673000","doi":null,"is_oa":false,"landing_page_url":"http://repository.tue.nl/673000","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/aebcf5c6-2f6a-43da-8f2b-50fdceea8f39","doi":null,"is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/aebcf5c6-2f6a-43da-8f2b-50fdceea8f39","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"Orlic, B & Broenink, J F 2006, SystemCSP: Visual notation. in P H Welch, J M Kerridge & F R M Barnes (eds), The 29th Communicating Process Architectures Conference (CPA 2006, Edinburgh, UK, September 17-20, 2006). Concurrent Systems Engineering Series, vol. 64, IOS Press, Amsterdam, pp. 151-177.","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:tue:oai:library.tue.nl:673000","doi":null,"is_oa":false,"landing_page_url":"http://repository.tue.nl/673000","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"info:eu-repo/semantics/other"},{"id":"pmh:tue:oai:pure.tue.nl:publications/aebcf5c6-2f6a-43da-8f2b-50fdceea8f39","doi":null,"is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/aebcf5c6-2f6a-43da-8f2b-50fdceea8f39","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"The 29th Communicating Process Architectures Conference (CPA 2006, Edinburgh, UK, September 17-20, 2006), 151 - 177","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"pmh:ut:oai:ris.utwente.nl:publications/ecdcde61-d583-4c56-b6cf-8a45c9e18185","doi":null,"is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/ecdcde61-d583-4c56-b6cf-8a45c9e18185","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,"listed_in":[],"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":"Communicationg Process Architectures 2006, 151 - 177","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"mag:2146155152","doi":null,"is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/wotug/cpa2006.html#OrlicB06","pdf_url":null,"source":{"id":"https://openalex.org/S4306417914","display_name":"Communicating Process Architectures","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Communicating Process Architectures","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W40959057","https://openalex.org/W1482242212","https://openalex.org/W1493249179","https://openalex.org/W1571487936","https://openalex.org/W1974485040","https://openalex.org/W2060910670","https://openalex.org/W2129384397","https://openalex.org/W2166312659","https://openalex.org/W2167500728"],"related_works":["https://openalex.org/W7098374719","https://openalex.org/W1489218761","https://openalex.org/W2159778703","https://openalex.org/W2807827293","https://openalex.org/W76888893","https://openalex.org/W2574522215","https://openalex.org/W132782522","https://openalex.org/W141357097","https://openalex.org/W1885561756","https://openalex.org/W254444069"],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2],"SystemCSP":[3,20],"\u2013":[4],"a":[5,10,22,31,49],"design":[6,24,59],"methodology":[7],"based":[8],"on":[9],"visual":[11],"notation":[12],"that":[13,52],"can":[14],"be":[15,48],"mapped":[16],"onto":[17],"CSP":[18],"expressions.":[19],"is":[21],"graphical":[23,50],"specification":[25,35],"language":[26],"aimed":[27],"to":[28,47],"serve":[29],"as":[30],"basis":[32],"for":[33,57],"the":[34,58],"of":[36,41,60],"formally":[37],"verifiable":[38],"component-based":[39],"designs":[40],"distributed":[42,61],"real-time":[43,62],"systems.":[44],"It":[45],"aims":[46],"formalism":[51],"covers":[53],"various":[54],"aspects":[55],"needed":[56],"systems":[63],"in":[64],"single":[65],"framework.":[66],"Keywords.":[67],"CSP,":[68],"Formal":[69],"methods,":[70],"Graphical":[71],"modeling":[72]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}