CCS with priority choice
type: Item
instance of: scholarly article
title: CCS with priority choice
zbMATH Open document ID: 0818.68107
author: Juanito Camilleri
author: Glynn Winskel
published in: Information and Computation
publication date: 1995-04-10T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 741489
zbMATH Keywords: Milner's CCS
zbMATH Keywords: strong bisimulation
MaRDI profile type: Publication
full work available at URL: inco.1995.1003
OpenAlex ID: W2151950311
DOI: 10.1006/INCO.1995.1003
Recommended article: Q4791842
Recommended article: CCS with priority guards
Recommended article: A monotone framework for CCS
Recommended article: Q3687696
Recommended article: On the expressive power of CCS
Recommended article: On the Expressive Power of Restriction and Priorities in CCS with Replication
Recommended article: Q3030241
Recommended article: The Power of Choice in Priority Scheduling
Recommended article: Notes on the methodology of CCS and CSP
Recommended article: CCCP
description: scientific article; zbMATH DE number 741489