Equational reasoning about nondeterministic processes
type: Item
instance of: scholarly article
title: Equational reasoning about nondeterministic processes
zbMATH Open document ID: 0697.68088
DOI: 10.1007/BF01888222
author: Jayadev Misra
published in: Formal Aspects of Computing
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68N25
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 4143481
zbMATH Keywords: equational reasoning
zbMATH Keywords: trace
zbMATH Keywords: network composition
zbMATH Keywords: smooth solution
zbMATH Keywords: nondeterministic process
zbMATH Keywords: least fixpoint
MaRDI profile type: Publication
cites work: Countable nondeterminism and random assignment
cites work: Semantics of finite and infinite networks of concurrent communicating agents
cites work: Proofs of Networks of Processes
cites work: Q4692630
cites work: Q3824309
cites work: Q3777424
cites work: A fully abstract trace model for dataflow and asynchronous networks
cites work: Q4054644
cites work: Q4151149
cites work: Q3995530
cites work: A proof of the Kahn principle for input/output automata
cites work: The expressive power of indeterminate dataflow primitives
cites work: A Powerdomain Construction
cites work: Q3204054
cites work: A fixpoint semantics for nondeterministic data flow
full work available at URL: https://doi.org/10.1007/bf01888222
OpenAlex ID: W1981514325
Recommended article: On the unification of process semantics: equational semantics
Recommended article: Reasoning about nondeterministic and concurrent actions: A process algebra approach
Recommended article: Q3974854
Recommended article: On fixpoint logics and equivalences for processes with restricted nondeterminism
Recommended article: Q2736352
Recommended article: Equational Reasoning in Non-Classical Logics
Recommended article: Q4345010
Recommended article: Undecidable equivalences for basic process algebra
Recommended article: Q4349577
Recommended article: Q4362899
description: scientific article; zbMATH DE number 4143481