{"id":"https://openalex.org/W1546708975","doi":"https://doi.org/10.1007/3-540-44880-2_25","title":"Proving Event Ordering Properties for Information Systems","display_name":"Proving Event Ordering Properties for Information Systems","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W1546708975","doi":"https://doi.org/10.1007/3-540-44880-2_25","mag":"1546708975"},"language":"en","primary_location":{"id":"doi:10.1007/3-540-44880-2_25","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-44880-2_25","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/A5007443078","display_name":"Marc Frappier","orcid":"https://orcid.org/0000-0002-4402-2514"},"institutions":[{"id":"https://openalex.org/I135117807","display_name":"Universit\u00e9 de Sherbrooke","ror":"https://ror.org/00kybxq39","country_code":"CA","type":"education","lineage":["https://openalex.org/I135117807"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Marc Frappier","raw_affiliation_strings":["D\u00e9partement de math\u00e9matiques et d\u2019informatique, Universit\u00e9 de Sherbrooke, Sherbrooke, Qu\u00e9bec, Canada, J1K 2R1","D\u00e9partement de math\u00e9matiques et d'informatique, Universit\u00e9 de Sherbrooke, Sherbrooke, Qu\u00e9bec, Canada, J1K 2R1"],"affiliations":[{"raw_affiliation_string":"D\u00e9partement de math\u00e9matiques et d\u2019informatique, Universit\u00e9 de Sherbrooke, Sherbrooke, Qu\u00e9bec, Canada, J1K 2R1","institution_ids":["https://openalex.org/I135117807"]},{"raw_affiliation_string":"D\u00e9partement de math\u00e9matiques et d'informatique, Universit\u00e9 de Sherbrooke, Sherbrooke, Qu\u00e9bec, Canada, J1K 2R1","institution_ids":["https://openalex.org/I135117807"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020424258","display_name":"R\u00e9gine Laleau","orcid":"https://orcid.org/0000-0002-2019-4936"},"institutions":[{"id":"https://openalex.org/I124158823","display_name":"Conservatoire National des Arts et M\u00e9tiers","ror":"https://ror.org/0175hh227","country_code":"FR","type":"education","lineage":["https://openalex.org/I124158823","https://openalex.org/I4210134562"]},{"id":"https://openalex.org/I4210145724","display_name":"Centre d'Etudes et De Recherche en Informatique et Communications","ror":"https://ror.org/044j5mm75","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210145724"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"R\u00e9gine Laleau","raw_affiliation_strings":["Laboratoire CEDRIC, Institut d\u2019Informatique d\u2019Entreprise, Conservatoire National des Arts et M\u00e9tiers, 18 all\u00e9e Jean Rostand, 91025, \u00c9vry Cedex, France","Laboratoire CEDRIC, Institut d'Informatique d'Entreprise, Conservatoire National des Arts et M\u00e9tiers, 18 all\u00e9e Jean Rostand, 91025, \u00c9vry Cedex, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire CEDRIC, Institut d\u2019Informatique d\u2019Entreprise, Conservatoire National des Arts et M\u00e9tiers, 18 all\u00e9e Jean Rostand, 91025, \u00c9vry Cedex, France","institution_ids":["https://openalex.org/I124158823"]},{"raw_affiliation_string":"Laboratoire CEDRIC, Institut d'Informatique d'Entreprise, Conservatoire National des Arts et M\u00e9tiers, 18 all\u00e9e Jean Rostand, 91025, \u00c9vry Cedex, France","institution_ids":["https://openalex.org/I4210145724","https://openalex.org/I124158823"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5007443078"],"corresponding_institution_ids":["https://openalex.org/I135117807"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":3.1849,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.90976976,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"421","last_page":"436"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9940999746322632,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.7091082334518433},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.6500291228294373},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5314176678657532},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4997074604034424},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4836350679397583},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.4291342794895172},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4286481738090515},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.42295077443122864},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42236223816871643},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4141653776168823},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3840545415878296},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35810381174087524},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3379977345466614},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.31351006031036377},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.17528384923934937},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.08268246054649353}],"concepts":[{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.7091082334518433},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.6500291228294373},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5314176678657532},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4997074604034424},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4836350679397583},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.4291342794895172},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4286481738090515},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.42295077443122864},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42236223816871643},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4141653776168823},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3840545415878296},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35810381174087524},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3379977345466614},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.31351006031036377},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.17528384923934937},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.08268246054649353},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/3-540-44880-2_25","is_oa":false,"landing_page_url":"https://doi.org/10.1007/3-540-44880-2_25","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.105.8542","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.8542","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.univ-paris12.fr/lacl/laleau/sourcePublis/B23FrappierLaleau.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-01224673v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01224673","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, 2003, Unknown, Unknown Region. pp.421-436","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.44999998807907104,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W27343280","https://openalex.org/W123523327","https://openalex.org/W258022877","https://openalex.org/W1503973138","https://openalex.org/W1526969236","https://openalex.org/W1575221187","https://openalex.org/W1585758771","https://openalex.org/W2121372686","https://openalex.org/W2125515839","https://openalex.org/W2129153376","https://openalex.org/W2155379435","https://openalex.org/W2155919438","https://openalex.org/W2160613322","https://openalex.org/W2589217375","https://openalex.org/W3144368627","https://openalex.org/W4231029568","https://openalex.org/W4254354208","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2245685274","https://openalex.org/W2002931343","https://openalex.org/W2023210740","https://openalex.org/W3042312155","https://openalex.org/W207043953","https://openalex.org/W2472677114","https://openalex.org/W1999721321","https://openalex.org/W1553580152","https://openalex.org/W3021003119","https://openalex.org/W2963067031"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}