Bisimilar and logically equivalent programs in PDL
type: Item
instance of: scholarly article
title: Bisimilar and logically equivalent programs in PDL
zbMATH Open document ID: 1335.68045
author: Mario Benevides
publication date: 2016-05-10T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6578784
zbMATH Keywords: bisimulation
zbMATH Keywords: propositional dynamic logic
zbMATH Keywords: modal logic
Wikidata QID: Q113317873
MaRDI profile type: Publication
full work available at URL: j.entcs.2014.06.002
OpenAlex ID: W1981837807
cites work: Handbook of process algebra
cites work: The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
cites work: A Propositional Dynamic Logic for CCS Programs
cites work: Modal logic
cites work: Q4525781
cites work: On the decidability of process equivalences for the \(\pi\)-calculus
cites work: Propositional dynamic logic of regular programs
cites work: Q4941495
cites work: Deciding Properties of Nonregular Programs
cites work: Q3992568
cites work: Q4248252
cites work: Modal logics for mobile processes
cites work: Communication in concurrent dynamic logic
cites work: Concurrent dynamic logic
cites work: Decidability of DPDA equivalence
DOI: 10.1016/J.ENTCS.2014.06.002
description: scientific article; zbMATH DE number 6578784