scientific article; zbMATH DE number 1390069

zbMath0946.68096MaRDI QIDQ4934334

Traian Muntean, Cristian Ene

Publication date: 17 October 2000

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

zbMATH Keywords

broadcast communicationpoint-to-point communication

Mathematics Subject Classification ID

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

Related Items

Modeling and efficient verification of wireless ad hoc networks ⋮ A PO characterisation of reconfiguration ⋮ Replacement freeness: a criterion for separating process calculi ⋮ Unnamed Item ⋮ Parametric synchronizations in mobile nominal calculi ⋮ Tutorial on separation results in process calculi via leader election problems ⋮ General Refinement, Part One: Interfaces, Determinism and Special Refinement ⋮ CCS with priority guards ⋮ Symmetric electoral systems for ambient calculi ⋮ Broadcast Calculus Interpreted in CCS upto Bisimulation ⋮ An operational semantics for a calculus for wireless systems ⋮ A Calculus for Mobile Ad-hoc Networks with Static Location Binding ⋮ Contexts, refinement and determinism ⋮ Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks ⋮ PRISMA: A Mobile Calculus with Parametric Synchronization ⋮ The Expressive Power of Monotonic Parallel Composition ⋮ Comparing communication primitives via their relative expressive power ⋮ Broadcast Psi-calculi with an Application to Wireless Protocols ⋮ A Prospectus for Mobile Broadcasting Systems