On performance congruences for process algebras
type: Item
instance of: scholarly article
title: On performance congruences for process algebras
zbMATH Open document ID: 0921.68031
author: Flavio Corradini
published in: Information and Computation
publication date: 1999-01-13T00:00:00Z
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1239816
zbMATH Keywords: busy waiting
zbMATH Keywords: performance equivalence
zbMATH Keywords: performance congruence
MaRDI profile type: Publication
full work available at URL: inco.1998.2726
OpenAlex ID: W2069267042
cites work: Timing and causality in process algebra
cites work: Real time process algebra
cites work: A theory of processes with localities
cites work: Q4222915
cites work: Performance preorder: Ordering processes with respect to speed
cites work: Performance preorder and competitive equivalence
cites work: Q3128862
cites work: Testing equivalences for processes
cites work: Dynamic matrices and the cost analysis of concurrent programs
cites work: A theory of processes with durational actions
cites work: Q3771632
cites work: Q3997501
cites work: Symbolic bisimulations
cites work: A process algebra for timed systems
cites work: An efficiency preorder for processes
cites work: Q3992568
cites work: Barbed bisimulation
cites work: A parametric approach to localities
cites work: Q3727392
cites work: Three Partition Refinement Algorithms
cites work: Q3787461
cites work: A timed model for communicating sequential processes
cites work: Timed testing of concurrent systems
DOI: 10.1006/INCO.1998.2726
description: scientific article; zbMATH DE number 1239816