Reversible session-based pi-calculus (Q492908): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2015.03.004
@@ Property / DOI: 10.1016/j.jlamp.2015.03.004 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q10
@@ Property / Mathematics Subject Classification ID: 68Q10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6474616
@@ Property / zbMATH DE Number: 6474616 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+reversible computing
@@ Property / zbMATH Keywords: reversible computing / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+pi-calculus
@@ Property / zbMATH Keywords: pi-calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+session types
@@ Property / zbMATH Keywords: session types / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+session-based programming
@@ Property / zbMATH Keywords: session-based programming / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KLAIM
@@ Property / describes a project that uses: KLAIM / 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.jlamp.2015.03.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2110010771
@@ Property / OpenAlex ID: W2110010771 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal and Optimal Computations of Recursive Programs
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3728878
@@ Property / cites work: Q3728878 / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding Petri Nets
@@ Property / cites work: Understanding Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4967172
@@ Property / cites work: Q4967172 / 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 @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / 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 @@
+A Compositional Semantics for the Reversible p-Calculus
+Normal rank
@@ Property / cites work @@
+Session-Based Communication Optimisation for Higher-Order Mobile Processes
+Normal rank
@@ Property / cites work @@
+Asynchronous Session Types and Progress for Object Oriented Languages
+Normal rank
@@ Property / cites work @@
+Multiparty asynchronous session types
@@ Property / cites work: Multiparty asynchronous session types / rank @@
+Normal rank
@@ Property / cites work @@
+Coordination models and languages. 10th international conference, COORDINATION 2008, Oslo, Norway, June 4--6, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Conversation types
@@ Property / cites work: Conversation types / rank @@
+Normal rank
@@ Property / cites work @@
+Sub-behaviour relations for session-based client/server systems
+Normal rank
@@ Property / cites work @@
+Subtyping for session types in the pi calculus
@@ Property / cites work: Subtyping for session types in the pi calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Controlled Reversibility and Compensations
@@ Property / cites work: Controlled Reversibility and Compensations / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2015.03.004
@@ Property / DOI: 10.1016/J.JLAMP.2015.03.004 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:492908