Matches in SemOpenAlex for { <https://semopenalex.org/work/W2050872276> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2050872276 abstract "LOTOS (Language Of Temporal Ordering Specification) est un langage de description de systemes paralleles communicants, normalise par l'ISO et le CCITT afin de permettre la definition formelle des protocoles et des services de telecommunications. Le langage utilise des types abstraits algebriques pour specifier les donnees et un calcul de processus proche de CSP et CCS pour exprimer le controle. Cette these propose une technique de compilation permettant de traduire un sous-ensemble significatif de LOTOS vers un modele reseau de Petri interprete (pouvant servir a produire du code executable) puis vers un modele automate d'etats finis (permettant la verification formelle de programmes LOTOS soit par reduction ou comparaison modulo des relations d'equivalence, soit par evaluation de formules de logiques temporelles). La methode employee differe des approches usuelles basees sur la reecriture de termes, qui construisent directement le graphe d'etats correspondant a un programme LOTOS. Ici au contraire la traduction est effectuee en trois etapes successives (expansion, generation et simulation) s'appuyant sur des modeles semantiques intermediaires (le langage SUBLOTOS et le modele reseau). Elle met en oeuvre une analyse statique globale du comportement des programmes. Elle prend en compte les donnees, celles-ci devant etre compilees au moyen dalgorithmes deja existants. Ces principes de compilation ont ete entierement implementes dans le logiciel CAESAR. Les performances obtenues confirment l'interet de la methode." @default.
- W2050872276 created "2016-06-24" @default.
- W2050872276 creator A5022400989 @default.
- W2050872276 date "1989-11-23" @default.
- W2050872276 modified "2023-09-26" @default.
- W2050872276 title "Compilation et vérification de programmes LOTOS" @default.
- W2050872276 cites W141784472 @default.
- W2050872276 cites W1483806673 @default.
- W2050872276 cites W1489030489 @default.
- W2050872276 cites W1491178396 @default.
- W2050872276 cites W1510388157 @default.
- W2050872276 cites W1519358717 @default.
- W2050872276 cites W1529746197 @default.
- W2050872276 cites W1535547959 @default.
- W2050872276 cites W1539159570 @default.
- W2050872276 cites W1547265787 @default.
- W2050872276 cites W1547562281 @default.
- W2050872276 cites W1554650443 @default.
- W2050872276 cites W156211028 @default.
- W2050872276 cites W1565007863 @default.
- W2050872276 cites W1577412708 @default.
- W2050872276 cites W1587066064 @default.
- W2050872276 cites W1623179802 @default.
- W2050872276 cites W1663179985 @default.
- W2050872276 cites W1809844233 @default.
- W2050872276 cites W1908424597 @default.
- W2050872276 cites W1964071625 @default.
- W2050872276 cites W1969857501 @default.
- W2050872276 cites W1973765637 @default.
- W2050872276 cites W2002458545 @default.
- W2050872276 cites W2017369466 @default.
- W2050872276 cites W2048299435 @default.
- W2050872276 cites W2054409309 @default.
- W2050872276 cites W2092860912 @default.
- W2050872276 cites W2093415968 @default.
- W2050872276 cites W2102097307 @default.
- W2050872276 cites W2110425399 @default.
- W2050872276 cites W2115409762 @default.
- W2050872276 cites W2117189826 @default.
- W2050872276 cites W2118382442 @default.
- W2050872276 cites W2121372686 @default.
- W2050872276 cites W2126395320 @default.
- W2050872276 cites W2157144873 @default.
- W2050872276 cites W2294826973 @default.
- W2050872276 cites W3146075203 @default.
- W2050872276 cites W3198160809 @default.
- W2050872276 cites W376809368 @default.
- W2050872276 cites W37816271 @default.
- W2050872276 hasPublicationYear "1989" @default.
- W2050872276 type Work @default.
- W2050872276 sameAs 2050872276 @default.
- W2050872276 citedByCount "5" @default.
- W2050872276 crossrefType "dissertation" @default.
- W2050872276 hasAuthorship W2050872276A5022400989 @default.
- W2050872276 hasConcept C138885662 @default.
- W2050872276 hasConcept C15708023 @default.
- W2050872276 hasConcept C160145156 @default.
- W2050872276 hasConcept C199360897 @default.
- W2050872276 hasConcept C41008148 @default.
- W2050872276 hasConceptScore W2050872276C138885662 @default.
- W2050872276 hasConceptScore W2050872276C15708023 @default.
- W2050872276 hasConceptScore W2050872276C160145156 @default.
- W2050872276 hasConceptScore W2050872276C199360897 @default.
- W2050872276 hasConceptScore W2050872276C41008148 @default.
- W2050872276 hasOpenAccess W2050872276 @default.
- W2050872276 hasRelatedWork W1507281497 @default.
- W2050872276 hasRelatedWork W1573853539 @default.
- W2050872276 hasRelatedWork W1624945350 @default.
- W2050872276 hasRelatedWork W1711877719 @default.
- W2050872276 hasRelatedWork W1943502734 @default.
- W2050872276 hasRelatedWork W1982254742 @default.
- W2050872276 hasRelatedWork W2026591657 @default.
- W2050872276 hasRelatedWork W2069709605 @default.
- W2050872276 hasRelatedWork W2102097307 @default.
- W2050872276 hasRelatedWork W2121372686 @default.
- W2050872276 hasRelatedWork W2126438238 @default.
- W2050872276 hasRelatedWork W3144368627 @default.
- W2050872276 isParatext "false" @default.
- W2050872276 isRetracted "false" @default.
- W2050872276 magId "2050872276" @default.
- W2050872276 workType "dissertation" @default.