On the operational semantics of nondeterminism and divergence
type: Item
instance of: scholarly article
title: On the operational semantics of nondeterminism and divergence
zbMATH Open document ID: 0871.68123
DOI: 10.1016/0304-3975(95)00166-2
author: O. Diekmann
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
full work available at URL: https://nrc-publications.canada.ca/eng/view/accepted/
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 984042
MaRDI profile type: Publication
OpenAlex ID: W2028257344
cites work: Observation equivalence as a testing equivalence
cites work: CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
cites work: Algebra of communicating processes with abstraction
cites work: A Theory of Communicating Sequential Processes
cites work: Q3680258
cites work: Extensional equivalences for transition systems
cites work: Testing equivalences for processes
cites work: Q4721641
cites work: The equivalence in the DCP model
cites work: Q3997501
cites work: Algebraic laws for nondeterminism and concurrency
cites work: Communicating sequential processes
cites work: A context dependent equivalence between processes
cites work: A calculus of communicating systems
cites work: Q3992568
cites work: Q3713571
cites work: Specification-oriented semantics for communicating processes
cites work: A structural approach to operational semantics
cites work: Q5511418
cites work: Q3994996
cites work: Q4056011
description: scientific article; zbMATH DE number 984042