On the axiomatisability of priority. III: Priority strikes again
type: Item
instance of: scholarly article
title: On the axiomatisability of priority. III: Priority strikes again
zbMATH Open document ID: 1452.68124
author: Luca Aceto
author: Elli Anastasiadi
author: Valentina Castiglioni
author: Anna Ingolfsdottir
author: Bas Luttik
author: Mathias Ruggaard Pedersen
published in: Theoretical Computer Science
publication date: 2020-08-25T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 7239097
zbMATH Keywords: finite axiomatisations
zbMATH Keywords: bisimilarity
zbMATH Keywords: priority operator
zbMATH Keywords: sequential composition
MaRDI profile type: Publication
full work available at URL: j.tcs.2020.07.044
OpenAlex ID: W3047624070
cites work: On the Axiomatizability of Priority
cites work: On the axiomatizability of priority. II
cites work: Processes, Terms and Cycles: Steps on the Road to Infinity
cites work: Bisimilarity is not finitely based over BPA with interrupt
cites work: Structural operational semantics.
cites work: Q3404131
cites work: Q4727412
cites work: Deciding bisimilarity is P-complete
cites work: Process algebra for synchronous communication
cites work: Handbook of process algebra
cites work: Bisimulation can't be traced
cites work: The meaning of negative premises in transition system specifications
cites work: Priority in process algebra.
cites work: Q4818861
cites work: Transition system specifications with negative premises
cites work: Q3777424
cites work: Formal verification of parallel programs
cites work: Asymptotic Enumeration of Partial Orders on a Finite Set
cites work: Q3992568
cites work: Q4038732
cites work: Three Partition Refinement Algorithms
cites work: Q3907077
cites work: The algebra of communicating processes with empty process
DOI: 10.1016/J.TCS.2020.07.044
description: scientific article