Location equivalence in a parametric setting

DOI10.1016/0304-3975(94)00219-9MaRDI QIDQ672708zbMATH OpenOpenAlexFDO

Authors Ugo Montanari, Daniel Yankelevich

Publication date 28 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)00219-9

zbMATH Keywords

forestlocation equivalence

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Equality measures properties for location problems
• scientific article; zbMATH DE number 4215157
• A parametric approach to localities
• scientific article; zbMATH DE number 4054837
• A Fiducial-based Test for the Equality of Location Parameters
• Existence and characterization of optimal locations
• Equivalence of Solutions to Network Location Problems
• Inequalities Among Some Measures of Location
• Location problem and inner product spaces

Cites work

• scientific article; zbMATH DE number 4213438 (Why is no real title available?)
• scientific article; zbMATH DE number 4074504 (Why is no real title available?)
• scientific article; zbMATH DE number 4074506 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 86273 (Why is no real title available?)
• scientific article; zbMATH DE number 4119653 (Why is no real title available?)
• A parametric approach to localities
• A static view of localities
• A structural approach to operational semantics
• A theory of processes with localities
• An algebraic view of interleaving and distributed operational semantics for CCS
• Comparing locality and causality based equivalences
• Distributed bisimulations
• Equational type logic
• Observing localities
• Proved trees
• Universal axioms for bisimulations

Cited in

(7)

• A parametric approach to localities
• Dynamic connectors for concurrency
• Tile formats for located and mobile systems.
• Proved trees
• A process algebra with distributed priorities
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• scientific article; zbMATH DE number 176129 (Why is no real title available?)

This page was built for publication: Location equivalence in a parametric setting

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