Skip to Main content Skip to Navigation
Journal articles

Occurrence Net Logics

Stefan Haar 1, 2
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00638279
Contributor : Stefan Haar <>
Submitted on : Friday, November 4, 2011 - 2:38:53 PM
Last modification on : Monday, February 15, 2021 - 10:48:18 AM

Identifiers

  • HAL Id : inria-00638279, version 1

Citation

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

Share

Metrics

Record views

218