paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 122706234Copier cet identifiant (PPN)
Notice de type Rameau

Point d'accès autorisé

Logique spatiale

Source

A spatial logic for concurrency / L. Caires, L. Cardelli [in] Journal of Information and Computation, 2003, 186, 2

Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés / I. Boneva, 2006 [thèse]

Logique spatiale pour le pi-calcul appliqué / J. Villard, [s.d.] [rapport] - http://www.lsv.ens-cachan.fr (2008-03-12)

Autres identifiants

Identifiant BNF : FRBNF155965072

Utilisation dans Rameau

Le point d'accès ne peut être employé que dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

... Références liées : ...