An algebra for process creation
type: Item
instance of: scholarly article
title: An algebra for process creation
zbMATH Open document ID: 0760.68045
DOI: 10.1007/BF01178776
author: Jos C. M. Baeten
author: F. Vaandrager
published in: Acta Informatica
publication date: 1993-02-22T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 08A70
zbMATH DE Number: 120325
zbMATH Keywords: basic process algebra
zbMATH Keywords: process creation
zbMATH Keywords: operational semantics
describes a project that uses: POOL
describes a project that uses: Ada95
MaRDI profile type: Publication
cites work: Designing equivalent semantic models for process creation
cites work: Algèbre de processus et synchronisation
cites work: Global renaming operators in concrete process algebra
cites work: Q3776606
cites work: Module algebra
cites work: Process algebra for synchronous communication
cites work: Q3028334
cites work: Q4430315
cites work: A distributed operational semantics of CCS based on condition/event systems
cites work: Q3753475
cites work: Q3777424
cites work: Q3776645
cites work: Higher-level synchronising devices in Meije-SCCS
full work available at URL: https://doi.org/10.1007/bf01178776
OpenAlex ID: W2031129600
description: scientific article; zbMATH DE number 120325