{"id":"https://openalex.org/W2006244393","doi":"https://doi.org/10.1007/bf00266047","title":"COSY ? a system specification language based on paths and processes","display_name":"COSY ? a system specification language based on paths and processes","publication_year":1979,"publication_date":"1979-01-01","ids":{"openalex":"https://openalex.org/W2006244393","doi":"https://doi.org/10.1007/bf00266047","mag":"2006244393"},"language":"en","primary_location":{"id":"doi:10.1007/bf00266047","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00266047","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","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/A5088831713","display_name":"Peter Lauer","orcid":"https://orcid.org/0000-0001-9984-1392"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"P.E. Lauer","raw_affiliation_strings":["Computing Laboratory, Claremont Tower, University of Newcastle upon Tyne, Claremont Road, NE1 7RU, Newcastle upon Tyne, Great Britain","Computing Laboratory, Claremont Tower, University of Newcastle upon Tyne, Newcastle upon Tyne, Great Britain NE1 7RU#TAB#"],"affiliations":[{"raw_affiliation_string":"Computing Laboratory, Claremont Tower, University of Newcastle upon Tyne, Claremont Road, NE1 7RU, Newcastle upon Tyne, Great Britain","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"Computing Laboratory, Claremont Tower, University of Newcastle upon Tyne, Newcastle upon Tyne, Great Britain NE1 7RU#TAB#","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058940809","display_name":"Piero R. Torrigiani","orcid":null},"institutions":[{"id":"https://openalex.org/I4210166048","display_name":"Gesellschaft Fur Mathematik Und Datenverarbeitung","ror":"https://ror.org/02g6d4t03","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210166048"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"P.R. Torrigiani","raw_affiliation_strings":["Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Institut f\u00fcr Informationssystemforschung, D-5300, Bonn, Germany (Fed. Rep.)","Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Institut f\u00fcr Informationssystemforschung, Bonn, Germany (Fed. Rep.) D-5300#TAB#"],"affiliations":[{"raw_affiliation_string":"Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Institut f\u00fcr Informationssystemforschung, D-5300, Bonn, Germany (Fed. Rep.)","institution_ids":["https://openalex.org/I4210166048"]},{"raw_affiliation_string":"Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Institut f\u00fcr Informationssystemforschung, Bonn, Germany (Fed. Rep.) D-5300#TAB#","institution_ids":["https://openalex.org/I4210166048"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110436887","display_name":"Michael W. Shields","orcid":null},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"M.W. Shields","raw_affiliation_strings":["Computing Laboratory, Claremont Tower, University of Newcastle upon Tyne, Claremont Road, NE1 7RU, Newcastle upon Tyne, Great Britain","Computing Laboratory, Claremont Tower, University of Newcastle upon Tyne, Newcastle upon Tyne, Great Britain NE1 7RU#TAB#"],"affiliations":[{"raw_affiliation_string":"Computing Laboratory, Claremont Tower, University of Newcastle upon Tyne, Claremont Road, NE1 7RU, Newcastle upon Tyne, Great Britain","institution_ids":["https://openalex.org/I84884186"]},{"raw_affiliation_string":"Computing Laboratory, Claremont Tower, University of Newcastle upon Tyne, Newcastle upon Tyne, Great Britain NE1 7RU#TAB#","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5088831713"],"corresponding_institution_ids":["https://openalex.org/I84884186"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":11.5137,"has_fulltext":false,"cited_by_count":100,"citation_normalized_percentile":{"value":0.98440166,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"12","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9966999888420105,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/notation","display_name":"Notation","score":0.8229702115058899},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.810461163520813},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6789802312850952},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5610299706459045},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5015280246734619},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4997138977050781},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4363642632961273},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4285157322883606},{"id":"https://openalex.org/keywords/shared-resource","display_name":"Shared resource","score":0.4255877435207367},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11005786061286926},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10455888509750366}],"concepts":[{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.8229702115058899},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.810461163520813},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6789802312850952},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5610299706459045},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5015280246734619},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4997138977050781},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4363642632961273},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4285157322883606},{"id":"https://openalex.org/C51332947","wikidata":"https://www.wikidata.org/wiki/Q1172305","display_name":"Shared resource","level":2,"score":0.4255877435207367},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11005786061286926},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10455888509750366},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bf00266047","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00266047","pdf_url":null,"source":{"id":"https://openalex.org/S84409463","display_name":"Acta Informatica","issn_l":"0001-5903","issn":["0001-5903","1432-0525"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Acta Informatica","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":17,"referenced_works":["https://openalex.org/W3093036","https://openalex.org/W144473269","https://openalex.org/W242919470","https://openalex.org/W1481073414","https://openalex.org/W1526247919","https://openalex.org/W1546981056","https://openalex.org/W1562161142","https://openalex.org/W1971665233","https://openalex.org/W1978972515","https://openalex.org/W1985792627","https://openalex.org/W2049764332","https://openalex.org/W2085489828","https://openalex.org/W2100021838","https://openalex.org/W2156076209","https://openalex.org/W2977420678","https://openalex.org/W3160136729","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2504004674","https://openalex.org/W1595229445","https://openalex.org/W2498744856","https://openalex.org/W4390482104","https://openalex.org/W322408318","https://openalex.org/W149041114","https://openalex.org/W2963177394","https://openalex.org/W1965815883","https://openalex.org/W763418848","https://openalex.org/W2024638892"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-01-15T23:16:33.117629","created_date":"2025-10-10T00:00:00"}