论文信息 - On the expressibility of priority

On the expressibility of priority

This short note offers results confirming that the priority operator of Baeten, Bergstra and Klop cannot be expressed using positive rule formats for operational semantics. Although expected, this inexpressibility result does not seem to have appeared before in the literature.

Luca Aceto | Anna Ingólfsdóttir

[1] Wan Fokkink,et al. Compositionality of Hennessy-Milner logic by structural operational semantics , 2006, Theor. Comput. Sci..

[2] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[3] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[4] R. V. Glabbeek. CHAPTER 1 – The Linear Time - Branching Time Spectrum I.* The Semantics of Concrete, Sequential Processes , 2001 .

[5] Luca Aceto,et al. Structural Operational Semantics , 1999, Handbook of Process Algebra.

[6] Wan Fokkink,et al. Ntyft/Ntyxt Rules Reduce to Ntree Rules , 1996, Inf. Comput..

[7] Jan A. Bergstra,et al. Syntax and defining equations for an interrupt mechanism in process algebra , 1985 .

[8] Rob J. van Glabbeek. Full Abstraction in Structural Operational Semantics (Extended Abstract) , 1993, AMAST.

[9] J. Bergstra,et al. Handbook of Process Algebra , 2001 .

[10] Iain Phillips,et al. CCS with priority guards , 2001, J. Log. Algebraic Methods Program..

[11] Robin Milner,et al. A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[12] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.