Locality based semantics for process algebras
type: Item
instance of: scholarly article
title: Locality based semantics for process algebras
zbMATH Open document ID: 0877.68081
author: Flavio Corradini
author: Rocco De Nicola
published in: Acta Informatica
publication date: 1997-12-08T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 1022918
zbMATH Keywords: locality equivalence
zbMATH Keywords: distributed equivalence
MaRDI profile type: Publication
full work available at URL: s002360050086
OpenAlex ID: W1977652281
DOI: 10.1007/S002360050086
Recommended article: Process algebras with localities.
Recommended article: A theory of processes with localities
Recommended article: Q4896650
Recommended article: Q4029584
Recommended article: Q4260381
Recommended article: Expressiveness of process algebras
Recommended article: Locality and interleaving semantics in calculi for mobile processes
Recommended article: Q4825707
Recommended article: Algebraic properties of processes for Local Action Systems
description: scientific article; zbMATH DE number 1022918