Parametric channels via label expressions in CCS
type: Item
instance of: scholarly article
title: Parametric channels via label expressions in CCS
zbMATH Open document ID: 0542.68017
DOI: 10.1016/0304-3975(84)90102-6
author: Egidio Astesiano
author: Elena Zucca
published in: Theoretical Computer Science
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 3862422
zbMATH Keywords: Calculus of Communicating Systems
zbMATH Keywords: concurrent languages
zbMATH Keywords: CCS
MaRDI profile type: Publication
full work available at URL: 0304-3975(84)90102-6
OpenAlex ID: W2025294912
cites work: Q3969858
cites work: Q3886847
cites work: Towards a formal description of Ada
cites work: Communicating sequential processes
cites work: A calculus of communicating systems
cites work: Calculi for synchrony and asynchrony
cites work: A structural approach to operational semantics
description: scientific article; zbMATH DE number 3862422