{"id":"https://openalex.org/W1524361563","doi":"https://doi.org/10.1007/bfb0031991","title":"Time in state based formal description techniques for distributed systems","display_name":"Time in state based formal description techniques for distributed systems","publication_year":1992,"publication_date":"1992-01-01","ids":{"openalex":"https://openalex.org/W1524361563","doi":"https://doi.org/10.1007/bfb0031991","mag":"1524361563"},"language":"en","primary_location":{"id":"doi:10.1007/bfb0031991","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0031991","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":"conference-paper","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/A5109042520","display_name":"Jp. Courtiat","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210089144","display_name":"Centre National pour la Recherche Scientifique et Technique (CNRST)","ror":"https://ror.org/00675rp98","country_code":"MA","type":"government","lineage":["https://openalex.org/I4210089144"]}],"countries":["FR","MA"],"is_corresponding":false,"raw_author_name":"Jp. Courtiat","raw_affiliation_strings":["Laboratoire d'Automatique et d'Analyse des Syst\u00e8mes du Centre National de la Recherche Scientifique"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire d'Automatique et d'Analyse des Syst\u00e8mes du Centre National de la Recherche Scientifique","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210089144"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108989848","display_name":"M. D\u00edaz","orcid":"https://orcid.org/0000-0002-5219-3428"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I193033237","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210152422","https://openalex.org/I4210159245","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]},{"id":"https://openalex.org/I4210089144","display_name":"Centre National pour la Recherche Scientifique et Technique (CNRST)","ror":"https://ror.org/00675rp98","country_code":"MA","type":"government","lineage":["https://openalex.org/I4210089144"]}],"countries":["FR","MA"],"is_corresponding":false,"raw_author_name":"M. Diaz","raw_affiliation_strings":["Laboratoire d'Automatique et d'Analyse des Syst\u00e8mes du Centre National de la Recherche Scientifique, 7, avenue du Colonel Roche, 31077, Toulouse Cedex, France","Laboratoire d'Automatique et d'Analyse des Syst\u00e8mes du Centre National de la Recherche Scientifique"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire d'Automatique et d'Analyse des Syst\u00e8mes du Centre National de la Recherche Scientifique, 7, avenue du Colonel Roche, 31077, Toulouse Cedex, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I190497903"]},{"raw_affiliation_string":"Laboratoire d'Automatique et d'Analyse des Syst\u00e8mes du Centre National de la Recherche Scientifique","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210089144"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.6443,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.61325967,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"149","last_page":"175"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9980999827384949,"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.9186093807220459},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7791093587875366},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6590240001678467},{"id":"https://openalex.org/keywords/formal-description","display_name":"Formal description","score":0.6546725034713745},{"id":"https://openalex.org/keywords/abstract-state-machines","display_name":"Abstract state machines","score":0.6420865058898926},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6085568070411682},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5674256682395935},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5420523285865784},{"id":"https://openalex.org/keywords/formal-language","display_name":"Formal language","score":0.5309103727340698},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5115002393722534},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5014908313751221},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.47438743710517883},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.3946734070777893},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38715505599975586}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9186093807220459},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7791093587875366},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6590240001678467},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.6546725034713745},{"id":"https://openalex.org/C145243422","wikidata":"https://www.wikidata.org/wiki/Q333385","display_name":"Abstract state machines","level":3,"score":0.6420865058898926},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6085568070411682},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5674256682395935},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5420523285865784},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.5309103727340698},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5115002393722534},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5014908313751221},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.47438743710517883},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.3946734070777893},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38715505599975586}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/bfb0031991","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bfb0031991","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":[{"display_name":"Partnerships for the goals","score":0.5,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W21371323","https://openalex.org/W91584010","https://openalex.org/W95750126","https://openalex.org/W202202796","https://openalex.org/W1497761154","https://openalex.org/W1500641432","https://openalex.org/W1503973138","https://openalex.org/W1547265787","https://openalex.org/W1551758164","https://openalex.org/W1556165958","https://openalex.org/W1569068921","https://openalex.org/W1573192249","https://openalex.org/W1601658152","https://openalex.org/W1603625207","https://openalex.org/W1855305917","https://openalex.org/W1983536891","https://openalex.org/W1994350081","https://openalex.org/W2004638475","https://openalex.org/W2027232632","https://openalex.org/W2033839526","https://openalex.org/W2042801853","https://openalex.org/W2054409309","https://openalex.org/W2058178813","https://openalex.org/W2079636926","https://openalex.org/W2083567135","https://openalex.org/W2118954772","https://openalex.org/W2125739093","https://openalex.org/W2126860147","https://openalex.org/W2138723607","https://openalex.org/W2149498196","https://openalex.org/W2151786168","https://openalex.org/W2534838886","https://openalex.org/W2938366666","https://openalex.org/W6603903687","https://openalex.org/W6630104300","https://openalex.org/W6648989666"],"related_works":["https://openalex.org/W2323519609","https://openalex.org/W2240208030","https://openalex.org/W2672127762","https://openalex.org/W2044067585","https://openalex.org/W1892073214","https://openalex.org/W2110102808","https://openalex.org/W1536552036","https://openalex.org/W2049993111","https://openalex.org/W2138398927","https://openalex.org/W2752133100"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}