Event structure semantics of the parallel extrusion in the pi-calculus
type: Dataset
description: International audience
issued: 2026-05-22T00:21:53.669021
language: en
modified: 2026-05-22T00:21:53.669026
contact point: Organization
  fn: CCSD
keyword: concurrency
keyword: conference-papers
keyword: event-structures
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-flcomputer-science-csformal-languages-and-automata-theory-csfl
keyword: mobility
landing page: Proceedings of FOSSACS 2012

Event structure semantics of the parallel extrusion in the pi-calculus
type: Distribution
format: HTML
issued: 2026-05-22T00:21:53.697470
modified: 2026-05-22T00:21:53.654329
access URL: https://hal.science/hal-00687502

test_moissonnage_selune
type: Agent