A coordination approach to mobile components
type: Item
instance of: scholarly article
title: A coordination approach to mobile components
zbMATH Open document ID: 1070.68010
author: Dirk Pattinson
author: Martin Wirsing
published in: Theoretical Computer Science
publication date: 2005-04-06T00:00:00Z
Mathematics Subject Classification ID: 68M10
zbMATH DE Number: 2153168
zbMATH Keywords: Mobile components
zbMATH Keywords: Coordination languages
describes a project that uses: SLMC
describes a project that uses: MANIFOLD
describes a project that uses: Linda
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.09.025
OpenAlex ID: W1979972126
cites work: Formal Methods for Components and Objects
cites work: Behavioural typing for safe ambients
cites work: Q4473068
cites work: Modal logic
cites work: A transition system semantics for the control-driven coordination language MANIFOLD
cites work: Q5714432
cites work: Q5714431
cites work: Q4484489
cites work: Q2763663
cites work: Anytime, anywhere
cites work: Mobile ambients
cites work: Types for the ambient calculus
cites work: Generative communication in Linda
cites work: Controlling interference in ambients
cites work: Q4248252
cites work: Bisimulation congruences in safe ambients
cites work: Q4018066
cites work: The Logic of Bunched Implications
cites work: Configuration and dynamic reconfiguration of components using the coordination paradigm
cites work: Possible worlds and resources: The semantics of \(\mathbf{BI}\)
cites work: A theory of bisimulation for the \(\pi\)-calculus
cites work: Extensionality and intensionality of the ambient logics
cites work: Q4219047
DOI: 10.1016/J.TCS.2004.09.025
description: scientific article; zbMATH DE number 2153168