Algebraic theory of probabilistic and nondeterministic processes.
type: Item
instance of: scholarly article
title: Algebraic theory of probabilistic and nondeterministic processes.
zbMATH Open document ID: 1054.68091
DOI: 10.1016/S1567-8326(02)00040-1
author: Diego Cazorla
author: Fernando Cuartero
author: Valentín Valero
author: Fernando López Pelayo
author: Juan José Pardo
published in: The Journal of Logic and Algebraic Programming
publication date: 2003-08-13T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1963586
zbMATH Keywords: Process algebra
zbMATH Keywords: Probabilistic and nondeterministic processes
zbMATH Keywords: Testing semantics
zbMATH Keywords: Denotational semantics
zbMATH Keywords: Proof system
MaRDI profile type: Publication
cites work: Q4730757
cites work: A process algebra for probabilistic and nondeterministic processes
cites work: Q4256644
cites work: Testing preorders for probabilistic processes.
cites work: Q5754515
cites work: Testing equivalences for processes
cites work: Q4255556
cites work: Q4255557
cites work: Transition system specifications with negative premises
cites work: Q3997501
cites work: Q3203061
cites work: Q4222974
cites work: Bisimulation through probabilistic testing
cites work: Refinement-oriented probability for CSP
cites work: Q4847023
cites work: Reactive, generative, and stratified models of probabilistic processes
full work available at URL: s1567-8326(02)00040-1
OpenAlex ID: W2034188142
description: scientific article; zbMATH DE number 1963586