Simulation preorder over simple process algebras
type: Item
instance of: scholarly article
title: Simulation preorder over simple process algebras
zbMATH Open document ID: 1009.68083
author: Antonin Kučera
author: Richard M. Mayr
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 1853246
MaRDI profile type: Publication
full work available at URL: inco.2001.3122
OpenAlex ID: W1965060352
cites work: Process Algebra
cites work: Verification on infinite structures.
cites work: On the regular structure of prefix rewriting
cites work: Bisimulation equivalence is decidable for all context-free processes
cites work: Undecidable equivalences for basic process algebra
cites work: Q3862379
cites work: Decidability of bisimilarity for one-counter processes.
cites work: Deciding bisimulation-like equivalences with finite-state processes
cites work: Results on the propositional \(\mu\)-calculus
cites work: Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time
cites work: Q4536443
cites work: Process rewrite systems.
cites work: Q3992568
cites work: Q5590814
cites work: The theory of ends, pushdown automata, and second-order logic
cites work: Q3219122
cites work: Pushdown processes: Games and model-checking
DOI: 10.1006/INCO.2001.3122
Recommended article: Q4737002
Recommended article: Priorities in process algebras
Recommended article: Strong bisimilarity of simple process algebras: Complexity lower bounds
Recommended article: Q4708605
Recommended article: Q6083356
Recommended article: Priority and abstraction in process algebra
Recommended article: Partial-order process algebra (and its relation to Petri nets)
Recommended article: Simulations up-to and canonical preorders (extended abstract)
Recommended article: Process Algebra: An Algebraic Theory of Concurrency
Recommended article: Q4501545
description: scientific article; zbMATH DE number 1853246