scientific article; zbMATH DE number 2242584

zbMath1087.68607MaRDI QIDQ5714437

Björn Victor, Joachim Parrow, Cosimo Laneve

Publication date: 2 January 2006

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2215/22150127.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

The true concurrency of differential interaction nets ⋮ An exact correspondence between a typed pi-calculus and polarised proof-nets ⋮ Concurrent nets: a study of prefixing in process calculi ⋮ Interpreting a finitary pi-calculus in differential interaction nets ⋮ Modelling and Verifying Mobile Systems Using π-Graphs ⋮ Explicit fusions

This page was built for publication: