Rule formats for nominal process calculi

DOI10.4230/LIPICS.CONCUR.2017.10MaRDI QIDQ5111622zbMATH OpenOpenAlexFDO

Authors Luca Aceto, I. Fábregas, Álvaro García-Pérez, Anna Ingolfsdottir, Yolanda Ortega-Mallén

Publication date 27 May 2020

Full work available at URL https://arxiv.org/abs/2402.00982

zbMATH Keywords

process algebranominal setsrule formatsnominal structural operational semanticsnominal transition systemsscope opening

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Rule formats for nominal process calculi
• A congruence rule format for name-passing process calculi
• Modal logics for nominal transition systems
• Nominal SOS
• Transition system specifications with negative premises

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• A Nominal Axiomatization of the Lambda Calculus
• A calculus of mobile processes. II
• A congruence format for name-passing calculi
• A congruence rule format for name-passing process calculi
• A conservative look at operational semantics with variable binding
• A new approach to abstract syntax with variable binding
• A structural approach to operational semantics
• A unified rule format for bounded nondeterminism in SOS with terms as labels
• An alternative formulation of operational conservativity with binding terms.
• Compositionality of Hennessy-Milner logic by structural operational semantics
• Formalising the pi-calculus using nominal logic
• Initial Algebra Semantics and Continuous Algebras
• Modal logics for nominal transition systems
• Nominal (universal) algebra: equational logic with names and binding
• Nominal SOS
• Nominal equational logic
• Nominal rewriting
• Nominal sets. Names and symmetry in computer science
• Nominal unification
• SOS formats and meta-theory: 20 years after
• Structural operational semantics and bounded nondeterminism
• Structural operational semantics.
• The \(\pi\)-calculus: A theory of mobile processes
• Variable binding operators in transition system specifications
• Weak nominal modal logic
• \(\pi\)-calculus, internal mobility, and agent-passing calculi

Cited in

(6)

• A congruence rule format for name-passing process calculi
• Nominal SOS
• Rule formats for nominal process calculi
• Process logic with regular formulas
• Multi labelled transition systems: a semantic framework for nominal calculi
• Modal logics for nominal transition systems

This page was built for publication: Rule formats for nominal process calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111622)