Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)
type: Dataset
description: 53 pages. Expanded version of ICE '11 paper DOI 10.4204/EPTCS.59.2 .
issued: 2026-05-31T16:42:20.370189
language: en
modified: 2026-05-31T16:42:20.370195
contact point: Organization
  fn: CCSD
keyword: behavioural-equivalences
keyword: categorical-semantics
keyword: concurrency
keyword: d13d31f31f32f41
keyword: game-semantics
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: journal-articles
keyword: presheaves
keyword: realisability
keyword: semantics
landing page: 1843-8121

Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)
type: Distribution
format: HTML
issued: 2026-05-31T16:42:20.393825
modified: 2026-05-31T16:42:20.316667
access URL: https://hal.science/hal-00555144

test_moissonnage_selune
type: Agent