On the Axiomatizability of Priority
From MaRDI portal
Publication:3591402
DOI10.1007/11787006_41zbMath1134.68038MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, Lifting non-finite axiomatizability results to extensions of process algebras, Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic?, On the axiomatisability of priority. III: Priority strikes again, Priority and abstraction in process algebra