A context dependent equivalence between processes
type: Item
instance of: scholarly article
title: A context dependent equivalence between processes
zbMATH Open document ID: 0612.68027
DOI: 10.1016/0304-3975(87)90007-7
published in: Theoretical Computer Science
publication date: 1987-01-01T00:00:00Z
review text: Cf. the review of the preliminary version [Lect. Notes Comput. Sci. 194, 373-382 (1985)] in Zbl 0566.68023.
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 3990854
zbMATH Keywords: equivalences between nondeterministic and concurrent processes
zbMATH Keywords: context information
zbMATH Keywords: environments
zbMATH Keywords: parameterized bisimulation equivalence
author: Kim G. Larsen
MaRDI profile type: Publication
full work available at URL: 0304-3975(87)90007-7
OpenAlex ID: W1975155342
cites work: Q3321470
cites work: Q4144755
cites work: Q3343432
cites work: Q3938462
cites work: A term model for synchronous processes
cites work: Q3883467
cites work: Algebraic laws for nondeterminism and concurrency
cites work: A Theory of Communicating Sequential Processes
cites work: Q4055201
cites work: A calculus of communicating systems
cites work: Q3929062
cites work: A complete inference system for a class of regular behaviours
cites work: Calculi for synchrony and asynchrony
cites work: Q3750114
cites work: Testing equivalences for processes
cites work: Q3907077
cites work: Q3657409
cites work: A proof-theoretic characterization of observational equivalence
cites work: Q3677160
cites work: Q3707371
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Q3711741
cites work: Q3683529
description: scientific article; zbMATH DE number 3990854