Tile formats for located and mobile systems.
type: Item
instance of: scholarly article
title: Tile formats for located and mobile systems.
zbMATH Open document ID: 1046.68619
author: Ugo Montanari
author: Gian Luigi Ferrari
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1853085
zbMATH Keywords: \(\pi\)-calculus
MaRDI profile type: Publication
full work available at URL: inco.1999.2825
OpenAlex ID: W1984882019
cites work: Turning SOS rules into equations
cites work: CPO models for compact GSOS languages
cites work: On bisimulations for the asynchronous \(\pi\)-calculus
cites work: Trace nets and process automata
cites work: Structural operational semantics for weak bisimulations
cites work: Bisimulation can't be traced
cites work: Iteration theories of synchronization trees
cites work: Observing localities
cites work: Flow models of distributed computations: Three equivalent semantics for CCS
cites work: Q4222912
cites work: Q4941924
cites work: Distribution and locality of concurrent systems
cites work: An algebraic presentation of term graphs, via gs-monoidal categories
cites work: Q4362962
cites work: Relating two categorical models of term rewriting
cites work: Q4733427
cites work: Axiomatizing the algebra of net computations and processes
cites work: Higher-level synchronising devices in Meije-SCCS
cites work: Catégories structurées
cites work: Q4027626
cites work: Q4699285
cites work: Q4222916
cites work: Q4222848
cites work: Q4219030
cites work: On the implementation of concurrent calculi in net calculi: two case studies
cites work: Structured operational semantics and bisimulation as a congruence
cites work: Comparing locality and causality based equivalences
cites work: Axiomatizing permutation equivalence
cites work: Compositionality Through an Operational Semantics of Contexts
cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
cites work: Conditional rewriting logic as a unified model of concurrency
cites work: Q3992568
cites work: A calculus of mobile processes. II
cites work: Q3839052
cites work: Q4222946
cites work: Location equivalence in a parametric setting
cites work: Q4222924
cites work: Plain CHOCS. A second generation calculus for higher order processes
cites work: Objects in the \(\pi\)-calculus
DOI: 10.1006/INCO.1999.2825
description: scientific article; zbMATH DE number 1853085