Q5028420 (Q5028420): Difference between revisions

@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual equivalences in configuration structures and reversibility
+Normal rank
@@ Property / cites work @@
+Reversible client/server interactions
@@ Property / cites work: Reversible client/server interactions / rank @@
+Normal rank
@@ Property / cites work @@
+A Gentle Introduction to Multiparty Asynchronous Session Types
+Normal rank
@@ Property / cites work @@
+Concurrent Reversible Sessions
@@ Property / cites work: Concurrent Reversible Sessions / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible sessions with flexible choices
@@ Property / cites work: Reversible sessions with flexible choices / rank @@
+Normal rank
@@ Property / cites work @@
+Q5015360
@@ Property / cites work: Q5015360 / rank @@
+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 @@
+Realisability of pomsets
@@ Property / cites work: Realisability of pomsets / rank @@
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels
+Normal rank
@@ Property / cites work @@
+On the Relative Expressiveness of Higher-Order Session Processes
+Normal rank
@@ Property / cites work @@
+On the relative expressiveness of higher-order session processes
+Normal rank
@@ Property / cites work @@
+Globally Governed Session Semantics
@@ Property / cites work: Globally Governed Session Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Globally Governed Session Semantics
@@ Property / cites work: Globally Governed Session Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+On asynchronous eventful session semantics
@@ Property / cites work: On asynchronous eventful session semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility in the higher-order \(\pi\)-calculus
+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 @@
+Q4967172
@@ Property / cites work: Q4967172 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversibility in session-based concurrency: a fresh look
+Normal rank
@@ Property / cites work @@
+Q2980982
@@ Property / cites work: Q2980982 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791841
@@ Property / cites work: Q4791841 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5216330
@@ Property / cites work: Q5216330 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversible session-based pi-calculus
@@ Property / cites work: Reversible session-based pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing Single Sessions
@@ Property / cites work: Reversing Single Sessions / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5028420