Buchumschlag

Structural Operational Semantics for True Concurrency

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wang, Yong
Format:	Preprint
Veröffentlicht:	2026
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

Computation and Concurrency
von: Wang, Yong
Veröffentlicht: (2024)

Finitary Truly Concurrent Bisimulations
von: Wang, Yong
Veröffentlicht: (2026)

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

Proceedings of the Combined 32nd International Workshop on Expressiveness in Concurrency and 22nd Workshop on Structural Operational Semantics
von: Di Giusto, Cinzia, et al.
Veröffentlicht: (2025)

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
von: Caltais, Georgiana, et al.
Veröffentlicht: (2024)

A Truly Concurrent Semantics for Reversible CCS
von: Melgratti, Hernán, et al.
Veröffentlicht: (2023)

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

Effectful Semantics in Bicategories: Strong, Commutative, and Concurrent Pseudomonads
von: Paquet, Hugo, et al.
Veröffentlicht: (2023)

On Propositional Dynamic Logic and Concurrency
von: Acclavio, Matteo, et al.
Veröffentlicht: (2024)

The Qualitative Collapse of Concurrent Games
von: Clairambault, Pierre
Veröffentlicht: (2024)

Big Steps in Higher-Order Mathematical Operational Semantics
von: Goncharov, Sergey, et al.
Veröffentlicht: (2025)

Critical Sections Are Not Per-Thread: A Trace Semantics for Lock-Based Concurrency
von: Sulzmann, Martin
Veröffentlicht: (2026)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
von: Kaye, George
Veröffentlicht: (2025)

Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics
von: Losavio, Lidia, et al.
Veröffentlicht: (2025)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
von: Cecilia, Gabriele
Veröffentlicht: (2025)

Intentic Semantics for Potentialist Truthmaking
von: Gorbow, Paul
Veröffentlicht: (2026)

Semantic Foundations of Reductive Reasoning
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

A Framework for Modelling, Verification and Transformation of Concurrent Imperative Programs
von: Bortin, Maksym
Veröffentlicht: (2020)

Base-extension Semantics for Modal Logic
von: Eckhardt, Timo, et al.
Veröffentlicht: (2024)

Antichains for Concurrent Parameterized Games
von: Bertrand, Nathalie, et al.
Veröffentlicht: (2025)

Concurrent Strategies on Games with Algebras
von: Huriot-Tattegrain, Sacha, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
von: Gu, Tao, et al.
Veröffentlicht: (2023)

Proof-theoretic Semantics for First-order Logic
von: Gheorghiu, Alexander V.
Veröffentlicht: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
von: Buzoku, Yll, et al.
Veröffentlicht: (2025)

Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2021)

Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
von: Cesco, Arnaldo, et al.
Veröffentlicht: (2021)

Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
von: Olarte, Carlos, et al.
Veröffentlicht: (2024)

Compositional Verification of Concurrency Using Past-Time Temporal Epistemic Logic
von: Nemati, Hamed, et al.
Veröffentlicht: (2025)

Generalized Security-Preserving Refinement for Concurrent Systems
von: Sun, Huan, et al.
Veröffentlicht: (2025)

A General (Uniform) Relational Semantics for Sentential Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2025)

First-order Logic with Being a Thesis Modal Operator
von: Łyczak, Marcin
Veröffentlicht: (2024)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
von: de Groot, Jim, et al.
Veröffentlicht: (2024)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
von: Pacheco, Leonardo
Veröffentlicht: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2023)

Rational Capability in Concurrent Games
von: Li, Yinfeng, et al.
Veröffentlicht: (2025)

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

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2022)