On the Axiomatizability of Priority
From MaRDI portal
Publication:3591402
DOI10.1007/11787006_41zbMath1134.68038OpenAlexW2154303258MaRDI QIDQ3591402
Taolue Chen, Luca Aceto, Anna Ingólfsdóttir, W. J. Fokkink
Publication date: 11 September 2007
Published in: Automata, Languages and Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11787006_41
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
Priority and abstraction in process algebra ⋮ Unnamed Item ⋮ On the axiomatisability of priority. III: Priority strikes again ⋮ Lifting non-finite axiomatizability results to extensions of process algebras ⋮ Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?
This page was built for publication: On the Axiomatizability of Priority