A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927): Difference between revisions

@@ Property / cites work @@
+A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours
+Normal rank
@@ Property / cites work @@
+Q2751376
@@ Property / cites work: Q2751376 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+A presheaf environment for the explicit fusion calculus
+Normal rank
@@ Property / cites work @@
+A Categorical Model of the Fusion Calculus
@@ Property / cites work: A Categorical Model of the Fusion Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q2847810
@@ Property / cites work: Q2847810 / rank @@
+Normal rank
@@ Property / cites work @@
+A network-conscious \(\pi\)-calculus and its coalgebraic semantics
+Normal rank
@@ Property / cites work @@
+Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+About permutation algebras, (pre)sheaves and named sets
+Normal rank
@@ Property / cites work @@
+Comparing operational models of name-passing process calculi
+Normal rank
@@ Property / cites work @@
+Families of Symmetries as Efficient Models of Resource Binding
+Normal rank
@@ Property / cites work @@
+Symmetries, local names and dynamic (de)-allocation of names
+Normal rank
@@ Property / cites work @@
+Fresh-register automata
@@ Property / cites work: Fresh-register automata / rank @@
+Normal rank
@@ Property / cites work @@
+On Nominal Regular Languages with Binders
@@ Property / cites work: On Nominal Regular Languages with Binders / rank @@
+Normal rank
@@ Property / cites work @@
+Freshness and Name-Restriction in Sets of Traces with Names
+Normal rank
@@ Property / cites work @@
+On the learnability of infinitary regular sets
@@ Property / cites work: On the learnability of infinitary regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
+Normal rank
@@ Property / cites work @@
+Stream Automata Are Coalgebras
@@ Property / cites work: Stream Automata Are Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Q4222939
@@ Property / cites work: Q4222939 / rank @@
+Normal rank
@@ Property / cites work @@
+Ultimately periodic words of rational ω-languages
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+Modelling Infinite Structures with Atoms
@@ Property / cites work: Modelling Infinite Structures with Atoms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank
@@ Property / cites work @@
+Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+Safety alternating automata on data words
@@ Property / cites work: Safety alternating automata on data words / rank @@
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data words
@@ Property / cites work: Two-variable logic on data words / rank @@
+Normal rank
@@ Property / cites work @@
+Feasible Automata for Two-Variable Logic with Successor on Data Words
+Normal rank
@@ Property / cites work @@
+An Automaton over Data Words That Captures EMSO Logic
+Normal rank
@@ Property / cites work @@
+Variable Automata over Infinite Alphabets
@@ Property / cites work: Variable Automata over Infinite Alphabets / rank @@
+Normal rank