{"id":"https://openalex.org/W1934456451","doi":"https://doi.org/10.1007/978-3-642-23082-0_5","title":"On Intransitive Non-interference in Some Models of Concurrency","display_name":"On Intransitive Non-interference in Some Models of Concurrency","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W1934456451","doi":"https://doi.org/10.1007/978-3-642-23082-0_5","mag":"1934456451"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-23082-0_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-23082-0_5","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/A5000720054","display_name":"Roberto Gorrieri","orcid":"https://orcid.org/0000-0001-5502-0584"},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Roberto Gorrieri","raw_affiliation_strings":["Dipartimento di Scienze dell\u2019Informazione, Universit\u00e0 degli Studi di Bologna, Mura Anteo Zamboni 7, 40127, Bologna, Italy","Dipartimento di Scienze dell\u2019Informazione, Universit\u00e0 di Bologna, Mura A. Zamboni, 7, 40127, Bologna, Italy","Dipartimento di Scienze dell'Informazione, Universit\u00e0 di Bologna, Mura A. Zamboni, 7, 40127, Bologna, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Scienze dell\u2019Informazione, Universit\u00e0 degli Studi di Bologna, Mura Anteo Zamboni 7, 40127, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Dipartimento di Scienze dell\u2019Informazione, Universit\u00e0 di Bologna, Mura A. Zamboni, 7, 40127, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Dipartimento di Scienze dell'Informazione, Universit\u00e0 di Bologna, Mura A. Zamboni, 7, 40127, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047549964","display_name":"Matteo Vernali","orcid":null},"institutions":[{"id":"https://openalex.org/I9360294","display_name":"University of Bologna","ror":"https://ror.org/01111rn36","country_code":"IT","type":"education","lineage":["https://openalex.org/I9360294"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Matteo Vernali","raw_affiliation_strings":["Dipartimento di Scienze dell\u2019Informazione, Universit\u00e0 di Bologna, Mura A. Zamboni, 7, 40127, Bologna, Italy","Dipartimento di Scienze dell'Informazione, Universit\u00e0 di Bologna, Mura A. Zamboni, 7, 40127, Bologna, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Scienze dell\u2019Informazione, Universit\u00e0 di Bologna, Mura A. Zamboni, 7, 40127, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]},{"raw_affiliation_string":"Dipartimento di Scienze dell'Informazione, Universit\u00e0 di Bologna, Mura A. Zamboni, 7, 40127, Bologna, Italy","institution_ids":["https://openalex.org/I9360294"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5000720054"],"corresponding_institution_ids":["https://openalex.org/I9360294"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":2.9748,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.91949285,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"125","last_page":"151"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9987000226974487,"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"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9987000226974487,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9966999888420105,"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/T10927","display_name":"Access Control and Trust","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.8487957715988159},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8234071731567383},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8044381737709045},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.7877964973449707},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5885235667228699},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.5499054789543152},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.5176625847816467},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4977298080921173},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4295562505722046},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4226028323173523},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3671632409095764},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.2738375663757324},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23293614387512207},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16878417134284973}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.8487957715988159},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8234071731567383},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8044381737709045},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.7877964973449707},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5885235667228699},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5499054789543152},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.5176625847816467},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4977298080921173},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4295562505722046},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4226028323173523},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3671632409095764},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2738375663757324},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23293614387512207},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16878417134284973},{"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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-642-23082-0_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-23082-0_5","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.156.2266","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.156.2266","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.unibo.it/~gorrieri/Papers/ini3.pdf","raw_type":"text"},{"id":"pmh:oai:cris.unibo.it:11585/109631","is_oa":false,"landing_page_url":"http://hdl.handle.net/11585/109631","pdf_url":null,"source":{"id":"https://openalex.org/S4306402579","display_name":"Archivio istituzionale della ricerca (Alma Mater Studiorum Universit\u00e0 di Bologna)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210117483","host_organization_name":"Istituto di Ematologia di Bologna","host_organization_lineage":["https://openalex.org/I4210117483"],"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/bookPart"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W78026558","https://openalex.org/W207333963","https://openalex.org/W258022877","https://openalex.org/W1484913512","https://openalex.org/W1493969426","https://openalex.org/W1503973138","https://openalex.org/W1515231954","https://openalex.org/W1516590303","https://openalex.org/W1547129189","https://openalex.org/W1577049629","https://openalex.org/W1594455430","https://openalex.org/W1608889792","https://openalex.org/W1739542898","https://openalex.org/W1843540884","https://openalex.org/W1850541918","https://openalex.org/W1857843754","https://openalex.org/W1940060540","https://openalex.org/W1968164101","https://openalex.org/W1977764760","https://openalex.org/W2048500751","https://openalex.org/W2056202261","https://openalex.org/W2080914957","https://openalex.org/W2083502262","https://openalex.org/W2095762545","https://openalex.org/W2119275622","https://openalex.org/W2122522758","https://openalex.org/W2142071753","https://openalex.org/W2150146796","https://openalex.org/W2158302348","https://openalex.org/W2162785273","https://openalex.org/W2164404666","https://openalex.org/W2165570690","https://openalex.org/W2495597431","https://openalex.org/W2612534041","https://openalex.org/W3143846747","https://openalex.org/W4250235564","https://openalex.org/W4251301725","https://openalex.org/W4285719527","https://openalex.org/W4292003697"],"related_works":["https://openalex.org/W2113256684","https://openalex.org/W59382029","https://openalex.org/W2140646474","https://openalex.org/W1555673433","https://openalex.org/W2376140444","https://openalex.org/W4319456988","https://openalex.org/W40031358","https://openalex.org/W2152379264","https://openalex.org/W2129909535","https://openalex.org/W1704074244"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}