scientific article; zbMATH DE number 7136661

zbMATH Open1442.68119arXiv1807.02081MaRDI QIDQ4972733FDOQ4972733

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

Publication date: 26 November 2019

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

Title of this publication is not available (Why is that?)

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)

Cites Work

• Title not available (Why is that?)
• A congruence rule format for name-passing process calculi
• Structured operational semantics and bisimulation as a congruence
• A structural approach to operational semantics
• Structural operational semantics.
• Nominal sets. Names and symmetry in computer science
• Nominal equational logic
• A Nominal Axiomatization of the Lambda Calculus
• Nominal (Universal) Algebra: Equational Logic with Names and Binding
• Initial Algebra Semantics and Continuous Algebras
• A new approach to abstract syntax with variable binding
• SOS formats and meta-theory: 20 years after
• A calculus of mobile processes. II
• Nominal unification
• The \(\pi\)-calculus: A theory of mobile processes
• A fixpoint theorem for complete categories
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• Compositionality of Hennessy-Milner logic by structural operational semantics
• Nominal rewriting
• Nominal Renaming Sets
• Structural operational semantics and bounded nondeterminism
• Rule formats for determinism and idempotence
• FreshML
• Explicit substitutions
• A proof theory for generic judgments
• A congruence format for name-passing calculi
• A conservative look at operational semantics with variable binding
• Variable binding operators in transition system specifications
• An alternative formulation of operational conservativity with binding terms.
• Coverability Synthesis in Parametric Petri Nets
• Formalising the pi-calculus using nominal logic
• Nominal SOS
• Weak Nominal Modal Logic

Cited In (4)

• SOS rule formats for zero and unit elements
• A congruence rule format for name-passing process calculi
• Title not available (Why is that?)
• Process logic with regular formulas

Uses Software

• Freshml

This page was built for publication:

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