On the expressibility of priority

DOI10.1016/j.ipl.2008.09.002zbMath1191.68404OpenAlexW1987108460MaRDI QIDQ975534

Luca Aceto, Anna Ingólfsdóttir

Publication date: 9 June 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2008.09.002

zbMATH Keywords

formal semanticsstructural operational semanticspriorityexpressivenessconcurrencyrule formats

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Lang-n-Send Extended: Sending Regular Expressions to Monitors

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. II
• A structural approach to operational semantics
• \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
• Compositionality of Hennessy-Milner logic by structural operational semantics
• CCS with priority guards
• Bisimulation can't be traced