Deriving structural labelled transitions for mobile ambients
type: Item
instance of: scholarly article
title: Deriving structural labelled transitions for mobile ambients
zbMATH Open document ID: 1214.68251
author: Julian Rathke
author: Paweł Sobociński
published in: Information and Computation
publication date: 2010-10-07T00:00:00Z
full work available at URL: concurFinal.pdf
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5796783
zbMATH Keywords: labelled transition systems
zbMATH Keywords: structural operational semantics (sos)
zbMATH Keywords: ambient calculus
zbMATH Keywords: bisimulation
describes a project that uses: GcPan
MaRDI profile type: Publication
OpenAlex ID: W4236516632
cites work: On bisimulations for the asynchronous \(\pi\)-calculus
cites work: Algebra of communicating processes with abstraction
cites work: Reactive Systems, Barbed Semantics, and the Mobile Ambients
cites work: Mobile ambients
cites work: Equational properties of mobile ambients
cites work: Fair ambients
cites work: Boxed ambients with communication interfaces
cites work: An efficient abstract machine for safe ambients
cites work: Q3777424
cites work: Bigraphs and transitions
cites work: Q4536606
cites work: Behavioral theory for mobile ambients
cites work: Q4484495
cites work: A calculus of communicating systems
cites work: A calculus of mobile processes. II
cites work: A structural approach to operational semantics
cites work: Semantic Barbs and Biorthogonality
cites work: Deriving Structural Labelled Transitions for Mobile Ambients
cites work: Making the Unobservable, Unobservable
cites work: Q4457841
cites work: From rewrite rules to bisimulation congruences
DOI: 10.1016/J.IC.2010.06.001
description: scientific article; zbMATH DE number 5796783