scientific article; zbMATH DE number 1333606
From MaRDI portal
Publication:4260379
zbMath0925.68151MaRDI QIDQ4260379
Publication date: 19 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Proofs as processes ⋮ Robin Milner's Work on Concurrency ⋮ A theory of bisimulation for the \(\pi\)-calculus ⋮ Variations on mobile processes ⋮ \(\pi\)-calculus, internal mobility, and agent-passing calculi ⋮ Categories for computation in context and unified logic ⋮ Causality for mobile processes ⋮ A uniform approach to true-concurrency and interleaving semantics for Petri nets ⋮ Non-interleaving semantics for mobile processes ⋮ A general theory of action languages
This page was built for publication:
