scientific article; zbMATH DE number 7136661
zbMath1442.68119arXiv1807.02081MaRDI QIDQ4972733
Luca Aceto, Álvaro García-Pérez, Yolanda Ortega-Mallén, Anna Ingólfsdóttir, I. Fábregas
Publication date: 26 November 2019
Full work available at URL: https://arxiv.org/abs/1807.02081
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
process algebranominal setsrule formatsnominal structural operational semanticsnominal transition systemsscope opening
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Rule formats for determinism and idempotence
- \(\pi\)-calculus, internal mobility, and agent-passing calculi
- A new approach to abstract syntax with variable binding
- SOS formats and meta-theory: 20 years after
- A congruence rule format for name-passing process calculi
- A calculus of mobile processes. II
- Structured operational semantics and bisimulation as a congruence
- A conservative look at operational semantics with variable binding
- An alternative formulation of operational conservativity with binding terms.
- Structural operational semantics and bounded nondeterminism
- A structural approach to operational semantics
- Nominal unification
- Compositionality of Hennessy-Milner logic by structural operational semantics
- Nominal rewriting
- A fixpoint theorem for complete categories
- Nominal Sets
- Nominal Equational Logic
- Nominal SOS
- Formalising the pi-calculus using nominal logic
- A Nominal Axiomatization of the Lambda Calculus
- Nominal (Universal) Algebra: Equational Logic with Names and Binding
- Initial Algebra Semantics and Continuous Algebras
- Explicit substitutions
- Weak Nominal Modal Logic
- Coverability Synthesis in Parametric Petri Nets
- FreshML
- A proof theory for generic judgments
- Nominal Renaming Sets
- Variable binding operators in transition system specifications
This page was built for publication:
