Reversibility in the higher-order \(\pi\)-calculus (Q264996): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q10
@@ Property / Mathematics Subject Classification ID: 68Q10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6561877
@@ Property / zbMATH DE Number: 6561877 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+reversible computation
@@ Property / zbMATH Keywords: reversible computation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+process algebra
@@ Property / zbMATH Keywords: process algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\(\pi\)-calculus
@@ Property / zbMATH Keywords: \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KLAIM
@@ Property / describes a project that uses: KLAIM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QML
@@ Property / describes a project that uses: QML / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2016.02.019
+Normal rank
@@ Property / OpenAlex ID @@
+W2284037492
@@ Property / OpenAlex ID: W2284037492 / rank @@
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing algebraic process calculi
@@ Property / cites work: Reversing algebraic process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing Higher-Order Pi
@@ Property / cites work: Reversing Higher-Order Pi / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for higher-order process calculi
@@ Property / cites work: Bisimulation for higher-order process calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Controlling Reversibility in Higher-Order Pi
@@ Property / cites work: Controlling Reversibility in Higher-Order Pi / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Flexible Reversibility
@@ Property / cites work: Concurrent Flexible Reversibility / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for the Reversible p-Calculus
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for causality in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Generic Forward and Backward Simulations
@@ Property / cites work: Generic Forward and Backward Simulations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4965863
@@ Property / cites work: Q4965863 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Models for name-passing processes: Interleaving and causal
+Normal rank
@@ Property / cites work @@
+Compositional Event Structure Semantics for the Internal π-Calculus
+Normal rank
@@ Property / cites work @@
+Typed event structures and the linear \(\pi \)-calculus
+Normal rank
@@ Property / cites work @@
+Q4813226
@@ Property / cites work: Q4813226 / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+From λ to π; or, Rediscovering continuations
@@ Property / cites work: From λ to π; or, Rediscovering continuations / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+The m-calculus
@@ Property / cites work: The m-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Normal Bisimulations in Calculi with Passivation
@@ Property / cites work: Normal Bisimulations in Calculi with Passivation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414734
@@ Property / cites work: Q4414734 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586334
@@ Property / cites work: Q5586334 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Reversibility of Computation
@@ Property / cites work: Logical Reversibility of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible computing and cellular automata -- a survey
+Normal rank
@@ Property / cites work @@
+A formal approach to undo operations in programming languages
+Normal rank
@@ Property / cites work @@
+A structural approach to reversible computation
@@ Property / cites work: A structural approach to reversible computation / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible, irreversible and optimal \(\lambda\)-machines
+Normal rank
@@ Property / cites work @@
+Reversible Flowchart Languages and the Structured Reversible Program Theorem
+Normal rank
@@ Property / cites work @@
+Mathematics of Program Construction
@@ Property / cites work: Mathematics of Program Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a Reversible Functional Language
@@ Property / cites work: Towards a Reversible Functional Language / rank @@
+Normal rank
@@ Property / cites work @@
+Information effects
@@ Property / cites work: Information effects / rank @@
+Normal rank
@@ Property / cites work @@
+General Reversibility
@@ Property / cites work: General Reversibility / rank @@
+Normal rank
@@ Property / cites work @@
+A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
+Normal rank
@@ Property / cites work @@
+Reverse Execution of Java Bytecode
@@ Property / cites work: Reverse Execution of Java Bytecode / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535080
@@ Property / cites work: Q4535080 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving nondeterministically specified safety properties using progress measures
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. II: Timing-based systems
+Normal rank
@@ Property / cites work @@
+Reversibility and Asymmetric Conflict in Event Structures
+Normal rank
@@ Property / cites work @@
+Q5150131
@@ Property / cites work: Q5150131 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-interleaving semantics for mobile processes
@@ Property / cites work: Non-interleaving semantics for mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:264996