@Article{         Sobocinski,
  Author        = "Soboci{\'n}ski, Pawe{\l}",
  Abstract      = "Compositionality and process equivalence are both standard concepts of process algebra. Compositionality means that the behaviour of a compound system relies only on the behaviour of its components, i.e. there is no emergent behaviour. Process equivalence means that the explicit statespace of a system takes a back seat to its interaction patterns: the information that an environment can obtain though interaction.",
  date-added    = "2016-03-08 08:43:20 +0000",
  date-modified = "2016-03-08 08:43:20 +0000",
  EPrint        = "1603.00976",
  Month         = "03",
  Title         = "Compositional model checking of concurrent systems, with Petri nets",
  URL           = "http://arxiv.org/abs/1603.00976",
  Year          = "2016",
  bdsk-url-1    = "http://arxiv.org/abs/1603.00976",
  File          = "Compositional model checking of concurrent systems, with Petri nets - Sobociński (0) (0) - a - a - p.pdf"
}

@Article{ Sobocinski, Author = "Soboci{\'n}ski, Pawe{\l}", Abstract = "Compositionality and process equivalence are both standard concepts of process algebra. Compositionality means that the behaviour of a compound system relies only on the behaviour of its components, i.e. there is no emergent behaviour. Process equivalence means that the explicit statespace of a system takes a back seat to its interaction patterns: the information that an environment can obtain though interaction.", date-added = "2016-03-08 08:43:20 +0000", date-modified = "2016-03-08 08:43:20 +0000", EPrint = "1603.00976", Month = "03", Title = "Compositional model checking of concurrent systems, with Petri nets", URL = "http://arxiv.org/abs/1603.00976", Year = "2016", bdsk-url-1 = "http://arxiv.org/abs/1603.00976", File = "Compositional model checking of concurrent systems, with Petri nets - Sobociński (0) (0) - a - a - p.pdf" }