scientific article; zbMATH DE number 1860623

zbMath1048.68059MaRDI QIDQ4790350

Gul A. Agha, Prasanna Thati, Reza Ziaei

Publication date: 2002

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

zbMATH Keywords

\(\pi\)-calculusinteraction paths

Mathematics Subject Classification ID

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

Related Items

Verification of asynchronous systems with an unspecified component, Unnamed Item