{"id":"https://openalex.org/W2144273077","doi":"https://doi.org/10.1007/3-540-17945-3_21","title":"The concurrent assignment representation of synchronous systems","display_name":"The concurrent assignment representation of synchronous systems","publication_year":1987,"publication_date":"1987-01-01","ids":{"openalex":"https://openalex.org/W2144273077","doi":"https://doi.org/10.1007/3-540-17945-3_21","mag":"2144273077"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-17945-3_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-17945-3_21","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5074675567","display_name":"Allan R. Martin","orcid":"https://orcid.org/0000-0002-9495-5654"},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"AR Martin","raw_affiliation_strings":["Centre for Theoretical Computer Science and Department of Computer Studies, University of Leeds, LS2 9JT, Leeds, England","Centre for Theoretical Computer Science and Department of Computer Studies, University of Leeds, Leeds, England"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Theoretical Computer Science and Department of Computer Studies, University of Leeds, LS2 9JT, Leeds, England","institution_ids":["https://openalex.org/I130828816"]},{"raw_affiliation_string":"Centre for Theoretical Computer Science and Department of Computer Studies, University of Leeds, Leeds, England","institution_ids":["https://openalex.org/I130828816"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110311391","display_name":"John Vivian Tucker","orcid":null},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"JV Tucker","raw_affiliation_strings":["Centre for Theoretical Computer Science and Department of Computer Studies, University of Leeds, LS2 9JT, Leeds, England","Centre for Theoretical Computer Science and Department of Computer Studies, University of Leeds, Leeds, England"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centre for Theoretical Computer Science and Department of Computer Studies, University of Leeds, LS2 9JT, Leeds, England","institution_ids":["https://openalex.org/I130828816"]},{"raw_affiliation_string":"Centre for Theoretical Computer Science and Department of Computer Studies, University of Leeds, Leeds, England","institution_ids":["https://openalex.org/I130828816"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I130828816"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":6.0909,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.95684647,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"369","last_page":"386"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9988999962806702,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8655281662940979},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.6059842109680176},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5853388905525208},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5644766688346863},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5079405903816223},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4398772716522217},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.4313596189022064},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.429068386554718},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35392677783966064},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3240644931793213},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19644954800605774}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8655281662940979},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6059842109680176},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5853388905525208},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5644766688346863},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5079405903816223},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4398772716522217},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.4313596189022064},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.429068386554718},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35392677783966064},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3240644931793213},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19644954800605774},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"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/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/3-540-17945-3_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-17945-3_21","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W752261457","https://openalex.org/W974733277","https://openalex.org/W1511864029","https://openalex.org/W1622840278","https://openalex.org/W1666015432","https://openalex.org/W1888283837","https://openalex.org/W1964502958","https://openalex.org/W1999356280","https://openalex.org/W2017369466","https://openalex.org/W2024092308","https://openalex.org/W2031366984","https://openalex.org/W2036835600","https://openalex.org/W2069662423","https://openalex.org/W2082887106","https://openalex.org/W2103953153","https://openalex.org/W2104315946","https://openalex.org/W2111619838","https://openalex.org/W2119342150","https://openalex.org/W2132395740","https://openalex.org/W2138340202","https://openalex.org/W2154004999","https://openalex.org/W2165266725","https://openalex.org/W4239702739","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1585007175","https://openalex.org/W2382521049","https://openalex.org/W2144385241","https://openalex.org/W2165950148","https://openalex.org/W4253593777","https://openalex.org/W2069768096","https://openalex.org/W2611825707","https://openalex.org/W1547394117","https://openalex.org/W1580516753","https://openalex.org/W2990416406"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}