Discrete time process algebra
type: Item
instance of: scholarly article
title: Discrete time process algebra
zbMATH Open document ID: 0849.68033
DOI: 10.1007/BF01214556
published in: Formal Aspects of Computing
publication date: 1996-06-02T00:00:00Z
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 883853
zbMATH Keywords: parametric timing
zbMATH Keywords: time free ACP theory
zbMATH Keywords: discrete time theory
author: Jos C. M. Baeten
author: J. A. Bergstra
describes a project that uses: ToolBus
MaRDI profile type: Publication
cites work: Real time process algebra
cites work: Real space process algebra
cites work: On sequential composition, action prefixes and process prefix
cites work: Process Algebra
cites work: Process algebra for synchronous communication
cites work: Q5186720
cites work: The discrete time TOOLBUS. -- A software coordination architecture
cites work: A Theory of Communicating Sequential Processes
cites work: A complete equational axiomatization for prefix iteration
cites work: A process algebra for timed systems
cites work: Q3777424
cites work: Laws of programming
cites work: Q4278673
cites work: CIRCAL and the representation of communication, concurrency, and time
cites work: Q3992568
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/bf01214556
OpenAlex ID: W1994216518
description: scientific article; zbMATH DE number 883853