Copertina

revTPL: The Reversible Temporal Process Language

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bocchi, Laura, Lanese, Ivan, Mezzina, Claudio Antares, Yuen, Shoji
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Programming Languages Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Checkpoint-based rollback recovery in session programming
di: Mezzina, Claudio Antares, et al.
Pubblicazione: (2023)

Relating Reversible Petri Nets and Reversible Event Structures, categorically
di: Melgratti, Hernán, et al.
Pubblicazione: (2023)

A Reversible Semantics for Janus
di: Lanese, Ivan, et al.
Pubblicazione: (2026)

A Truly Concurrent Semantics for Reversible CCS
di: Melgratti, Hernán, et al.
Pubblicazione: (2023)

Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
di: Bernardo, Marco, et al.
Pubblicazione: (2022)

An Axiomatic Theory for Reversible Computation
di: Lanese, Ivan, et al.
Pubblicazione: (2023)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
di: Bernardo, Marco, et al.
Pubblicazione: (2024)

Cyclic Proofs in Hoare Logic and its Reverse
di: Brotherston, James, et al.
Pubblicazione: (2025)

A Theory of Formal Choreographic Languages
di: Barbanera, Franco, et al.
Pubblicazione: (2022)

Reversible Computation with Stacks and "Reversible Management of Failures"
di: Palazzo, Matteo, et al.
Pubblicazione: (2025)

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
di: de Vilhena, Paulo Emílio, et al.
Pubblicazione: (2021)

Coinductive Proofs for Temporal Hyperliveness
di: Correnson, Arthur, et al.
Pubblicazione: (2025)

Structural Temporal Logic for Mechanized Program Verification
di: Ioannidis, Eleftherios, et al.
Pubblicazione: (2024)

Extensional and Non-extensional Functions as Processes
di: Sakayori, Ken, et al.
Pubblicazione: (2024)

Logic Programming with Extensible Types
di: Perez, Ivan, et al.
Pubblicazione: (2026)

Positive Sharing and Abstract Machines
di: Accattoli, Beniamino, et al.
Pubblicazione: (2025)

On Quantum Programming Languages
di: Valiron, Benoît
Pubblicazione: (2024)

Bialgebraic Reasoning on Stateful Languages
di: Goncharov, Sergey, et al.
Pubblicazione: (2025)

A Probabilistic Choreography Language for PRISM
di: Carbone, Marco, et al.
Pubblicazione: (2025)

Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
di: Bernardo, Marco, et al.
Pubblicazione: (2025)

The Semantics of Effects: Centrality, Quantum Control and Reversible Recursion
di: Lemonnier, Louis
Pubblicazione: (2024)

An Intermediate Program Representation for Optimizing Stream-Based Languages
di: Baumeister, Jan, et al.
Pubblicazione: (2025)

HaliVer: Deductive Verification and Scheduling Languages Join Forces
di: Haak, Lars B. van den, et al.
Pubblicazione: (2024)

A Formalization of the Yul Language and Some Verified Yul Code Transformations
di: Coglio, Alessandro, et al.
Pubblicazione: (2025)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
di: Chaudhuri, Kaustuv, et al.
Pubblicazione: (2025)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
di: Batz, Kevin, et al.
Pubblicazione: (2024)

A Behavioral Theory for Distributed Systems with Weak Recovery
di: Fabbretti, Giovanni, et al.
Pubblicazione: (2024)

Bean: A Language for Backward Error Analysis
di: Kellison, Ariel E., et al.
Pubblicazione: (2025)

Kleene algebra with commutativity conditions is undecidable
di: de Amorim, Arthur Azevedo, et al.
Pubblicazione: (2024)

Decidable Reversible Equivalences for Finite Petri Nets
di: Gorrieri, Roberto, et al.
Pubblicazione: (2025)

Proto-Quipper with Reversing and Control
di: Fu, Peng, et al.
Pubblicazione: (2024)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
di: Kaye, George
Pubblicazione: (2025)

Impredicativity in Linear Dependent Type Theory
di: Speight, Sam, et al.
Pubblicazione: (2026)

Unrealizability Logic
di: Kim, Jinwoo, et al.
Pubblicazione: (2022)

Towards Concurrent Quantitative Separation Logic
di: Fesefeldt, Ira, et al.
Pubblicazione: (2022)

A programming language characterizing quantum polynomial time
di: Hainry, Emmanuel, et al.
Pubblicazione: (2022)

On Higher-Order Reachability Games vs May Reachability
di: Asada, Kazuyuki, et al.
Pubblicazione: (2022)

Multi types and reasonable space
di: Accattoli, Beniamino, et al.
Pubblicazione: (2022)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
di: Accattoli, Beniamino
Pubblicazione: (2022)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
di: Cristiá, Maximiliano, et al.
Pubblicazione: (2022)