Reversing algebraic process calculi (Q2643334): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2006.11.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2059141487
@@ Property / OpenAlex ID: W2059141487 / rank @@
+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 @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805920
@@ Property / cites work: Q3805920 / rank @@
+Normal rank
@@ Property / cites work @@
+Flow models of distributed computations: Three equivalent semantics for CCS
+Normal rank
@@ Property / cites work @@
+Q4535080
@@ Property / cites work: Q4535080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760252
@@ Property / cites work: Q2760252 / 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 @@
+A partial ordering semantics for CCS
@@ Property / cites work: A partial ordering semantics for CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Structured operational semantics and bisimulation as a congruence
+Normal rank
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Irreversibility and Heat Generation in the Computing Process
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank