Keywords of "Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines"

Label

• Keywords of "Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines" (literal)
• Parole chiave di "Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines" (literal)

Insieme di parole chiave di

• Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)

Ha membro

• finite automata (Parola chiave)
• formal specification (Parola chiave)
• distributed processing (Parola chiave)

Incoming links:

Insieme di parole chiave

• Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)

Membro di

• finite automata (Parola chiave)
• formal specification (Parola chiave)
• distributed processing (Parola chiave)