Coverability Synthesis in Parametric Petri Nets

DOI10.4230/LIPICS.CONCUR.2017.10zbMATH Open1442.68120OpenAlexW2963278150MaRDI QIDQ5111622FDOQ5111622

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

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)

Cites Work

• A congruence rule format for name-passing process calculi
• 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
• Title not available (Why is that?)
• 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
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• Compositionality of Hennessy-Milner logic by structural operational semantics
• Nominal rewriting
• Structural operational semantics and bounded nondeterminism
• 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.
• Title not available (Why is that?)
• Formalising the pi-calculus using nominal logic
• Nominal SOS
• A unified rule format for bounded nondeterminism in SOS with terms as labels
• Weak Nominal Modal Logic

Cited In (3)

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

This page was built for publication: Coverability Synthesis in Parametric Petri Nets

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