Buchumschlag

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Paulus, Joseph W. N., Nantes-Sobrinho, Daniele, Pérez, Jorge A.
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Typed Non-determinism in Concurrent Calculi: The Eager Way
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
von: Caires-Santos, Ali K., et al.
Veröffentlicht: (2025)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
von: Lööw, Andreas, et al.
Veröffentlicht: (2024)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
von: Chaudhuri, Kaustuv, et al.
Veröffentlicht: (2025)

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders
von: Fernández, Maribel, et al.
Veröffentlicht: (2025)

Strong Nominal Semantics for Fixed-Point Constraints
von: Caires-Santos, Ali K., et al.
Veröffentlicht: (2024)

Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories
von: Nantes-Sobrinho, Daniele, et al.
Veröffentlicht: (2025)

Unification of Deterministic Higher-Order Patterns (Full Version)
von: Niederhauser, Johannes, et al.
Veröffentlicht: (2026)

Nominal Equational Rewriting and Narrowing
von: Ayala-Rincón, Mauricio, et al.
Veröffentlicht: (2025)

Non-Deterministic Planning for Hyperproperty Verification
von: Beutner, Raven, et al.
Veröffentlicht: (2024)

Non-Rigid Designators in Modal and Temporal Free Description Logics (Extended Version)
von: Artale, Alessandro, et al.
Veröffentlicht: (2024)

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)
von: Acclavio, Matteo, et al.
Veröffentlicht: (2025)

A set-theoretical approach for ABox reasoning services (Extended Version)
von: Cantone, Domenico, et al.
Veröffentlicht: (2017)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
von: Gaßner, Christine
Veröffentlicht: (2025)

A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
von: Cantone, Domenico, et al.
Veröffentlicht: (2017)

A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
von: Cantone, Domenico, et al.
Veröffentlicht: (2018)

Extensional and Non-extensional Functions as Processes
von: Sakayori, Ken, et al.
Veröffentlicht: (2024)

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
von: Cantone, Domenico, et al.
Veröffentlicht: (2018)

On the Expressivity of Typed Concurrent Calculi
von: Paulus, Joseph William Neal
Veröffentlicht: (2024)

Undecidability of the Emptiness Problem of Deterministic Propositional While Programs with Graph Loop: Hypothesis Elimination Using Loops
von: Nakamura, Yoshiki
Veröffentlicht: (2025)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
von: Cantale, Claudia, et al.
Veröffentlicht: (2017)

Practical Deductive Verification of OCaml Programs (Extended Version)
von: Pereira, Mário
Veröffentlicht: (2024)

Towards Proving Liveness on Weak Memory (Extended Version)
von: Bargmann, Lara, et al.
Veröffentlicht: (2026)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
von: Preiner, Mathias, et al.
Veröffentlicht: (2026)

Sharing and Linear Logic with Restricted Access (Extended Version)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2025)

First-Order LTLf Synthesis with Lookback (Extended Version)
von: Winkler, Sarah
Veröffentlicht: (2025)

A Hyperlogic for Strategies in Stochastic Games (Extended Version)
von: Gerlach, Lina, et al.
Veröffentlicht: (2025)

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
von: Fandinno, Jorge, et al.
Veröffentlicht: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
von: Kettmann, Pascal, et al.
Veröffentlicht: (2026)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
von: Gerlach, Lina, et al.
Veröffentlicht: (2025)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
von: Vandesande, Dieter, et al.
Veröffentlicht: (2025)

Partially Finite Model Reasoning in Description Logics Extended Version
von: Gogacz, Tomasz, et al.
Veröffentlicht: (2026)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
von: Baldan, Paolo, et al.
Veröffentlicht: (2025)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
von: de Amorim, Pedro H. Azevedo, et al.
Veröffentlicht: (2026)

Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
von: Dudenhefner, Andrej
Veröffentlicht: (2026)

Random Deterministic Automata With One Added Transition
von: Carayol, Arnaud, et al.
Veröffentlicht: (2024)

Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem (Extended Version)
von: Soares, Tiago Lopes, et al.
Veröffentlicht: (2024)

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
von: Clairambault, Pierre, et al.
Veröffentlicht: (2023)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)