scientific article; zbMATH DE number 1390069

MaRDI QIDQ4934334zbMATH OpenFDO

Authors Traian Muntean, Cristian Ene

Publication date 17 October 2000

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)

Recommendations

• Comparing communication primitives via their relative expressive power
• A trade-off between information and communication in broadcast protocols
• scientific article; zbMATH DE number 4062584
• On the Expressiveness of Forwarding in Higher-Order Communication
• Expressive Power of Broadcast Consensus Protocols
• On the expressiveness of symmetric communication
• Broadcast Extensions with Optimal Communication and Round Complexity
• Multiple message broadcasting in communication networks
• scientific article; zbMATH DE number 2135150
• Communication-Space Tradeoffs for Unrestricted Protocols

Cited in

(23)

• Comparing communication primitives via their relative expressive power
• Public and private communication are different: Results on relative expressivity
• Modeling and efficient verification of wireless ad hoc networks
• Replacement freeness: a criterion for separating process calculi
• Tutorial on separation results in process calculi via leader election problems
• CCS with priority guards
• Symmetric electoral systems for ambient calculi
• The expressive power of monotonic parallel composition
• Broadcast psi-calculi with an application to wireless protocols
• Classical proofs as parallel programs
• On the Expressiveness of Forwarding in Higher-Order Communication
• PRISMA: A Mobile Calculus with Parametric Synchronization
• Broadcasting buffering communication
• Broadcast calculus interpreted in CCS upto bisimulation
• A calculus for mobile ad-hoc networks with static location binding
• Verification of correspondence assertions in a calculus for mobile ad hoc networks
• A prospectus for mobile broadcasting systems
• General refinement. I: Interfaces, determinism and special refinement
• Contexts, refinement and determinism
• A PO characterisation of reconfiguration
• Functional array programming in an extended pi-calculus
• Parametric synchronizations in mobile nominal calculi
• An operational semantics for a calculus for wireless systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934334)