Occurrence Net Logics

Stefan Haar 1, 2
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Type de document :
Article dans une revue
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2000, 43 (1-4), pp.105-127
Liste complète des métadonnées

https://hal.inria.fr/inria-00638279
Contributeur : Stefan Haar <>
Soumis le : vendredi 4 novembre 2011 - 14:38:53
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37

Identifiants

  • HAL Id : inria-00638279, version 1

Collections

Citation

Stefan Haar. Occurrence Net Logics. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2000, 43 (1-4), pp.105-127. 〈inria-00638279〉

Partager

Métriques

Consultations de la notice

162