Process algebra with propositional signals
type: Item
instance of: scholarly article
title: Process algebra with propositional signals
zbMATH Open document ID: 0901.68117
DOI: 10.1016/S0304-3975(96)00253-8
published in: Theoretical Computer Science
publication date: 1998-07-23T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1178547
zbMATH Keywords: signals
author: Jos C. M. Baeten
author: J. A. Bergstra
MaRDI profile type: Publication
cites work: Algèbre de processus et synchronisation
cites work: Global renaming operators in concrete process algebra
cites work: Process Algebra
cites work: Q3490964
cites work: Process algebra for synchronous communication
cites work: A Theory of Communicating Sequential Processes
cites work: Branching time and abstraction in bisimulation semantics
cites work: Process algebra with guards: Combining hoare logic with process algebra
cites work: Q3750114
cites work: A complete inference system for a class of regular behaviours
cites work: The algebra of timed processes, ATP: Theory and application
cites work: Q4847024
full work available at URL: s0304-3975(96)00253-8
OpenAlex ID: W2133442509
description: scientific article; zbMATH DE number 1178547