Real space process algebra
type: Item
instance of: scholarly article
title: Real space process algebra
zbMATH Open document ID: 0942.68607
DOI: 10.1007/BF01211247
published in: Formal Aspects of Computing
publication date: 2000-08-02T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68W10
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 598164
author: Jos C. M. Baeten
author: J. A. Bergstra
MaRDI profile type: Publication
cites work: Global renaming operators in concrete process algebra
cites work: Real time process algebra
cites work: Process Algebra
cites work: Q4727412
cites work: Process algebra for synchronous communication
cites work: Q3702500
cites work: The algebra of timed processes, ATP: Theory and application
cites work: A timed model for communicating sequential processes
full work available at URL: https://doi.org/10.1007/bf01211247
OpenAlex ID: W2169983600
description: scientific article; zbMATH DE number 598164