The connection between an event structure semantics and an operational semantics for TCSP
type: Item
instance of: scholarly article
title: The connection between an event structure semantics and an operational semantics for TCSP
zbMATH Open document ID: 0790.68064
DOI: 10.1007/BF01178923
author: Christel Baier
author: Mila Majster-Cederbaum
published in: Acta Informatica
publication date: 1994-05-10T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 567309
zbMATH Keywords: operational semantics
zbMATH Keywords: interleaving semantics
zbMATH Keywords: TSCP
zbMATH Keywords: transition system
zbMATH Keywords: concurrency
MaRDI profile type: Publication
cites work: Processes and the denotational semantics of concurrency
cites work: Four domains for concurrency
cites work: Process algebra for synchronous communication
cites work: Q4721639
cites work: Q4733397
cites work: A Theory of Communicating Sequential Processes
cites work: Q3680258
cites work: Q5565113
cites work: A distributed operational semantics of CCS based on condition/event systems
cites work: Q5748880
cites work: Q3675536
cites work: Q3777424
cites work: A calculus of communicating systems
cites work: Q3750114
cites work: Petri nets, event structures and domains. I
cites work: Specification-oriented semantics for communicating processes
cites work: Q3731015
cites work: Q3753474
cites work: Synchronization trees
full work available at URL: https://doi.org/10.1007/bf01178923
OpenAlex ID: W2001704968
description: scientific article; zbMATH DE number 567309