scientific article; zbMATH DE number 1759424

zbMath0996.68523MaRDI QIDQ4536373

Lucian Wischik, Philippa Gardner

Publication date: 4 November 2002

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 (17)

Linear forwarders ⋮ Name-passing calculi: from fusions to preorders and types ⋮ Symmetries and Dualities in Name-Passing Process Calculi ⋮ A behavioural theory for a \(\pi\)-calculus with preorders ⋮ Psi-calculi revisited: connectivity and compositionality ⋮ Psi-calculi in Isabelle ⋮ Unnamed Item ⋮ Pure bigraphs: structure and dynamics ⋮ Concurrent nets: a study of prefixing in process calculi ⋮ The Expressive Power of Monotonic Parallel Composition ⋮ Pict correctness revisited ⋮ LMNtal as a hierarchical logic programming language ⋮ Unnamed Item ⋮ A categorical framework for typing CCS-style process communication ⋮ Explicit fusions ⋮ Modelling Calculi with Name Mobility using Graphs with Equivalences ⋮ An Algebra for Directed Bigraphs

This page was built for publication: