Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607): Difference between revisions

@@ Property / cites work @@
+The Applied Pi Calculus
@@ Property / cites work: The Applied Pi Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5216153
@@ Property / cites work: Q5216153 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual equivalences in configuration structures and reversibility
+Normal rank
@@ Property / cites work @@
+Domain equations for probabilistic processes
@@ Property / cites work: Domain equations for probabilistic processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733397
@@ Property / cites work: Q4733397 / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Semantics for the Reversible p-Calculus
+Normal rank
@@ Property / cites work @@
+Rigid Families for CCS and the $$\pi $$ -calculus
@@ Property / cites work: Rigid Families for CCS and the $$\pi $$ -calculus / 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 @@
+Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours
+Normal rank
@@ Property / cites work @@
+CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
+Normal rank
@@ Property / cites work @@
+Isomorphism theorems between models of mixed choice
+Normal rank
@@ Property / cites work @@
+Event structure semantics of (controlled) reversible CCS
+Normal rank
@@ Property / cites work @@
+A Distributed Pi-Calculus
@@ Property / cites work: A Distributed Pi-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Flexible Reversibility
@@ Property / cites work: Concurrent Flexible Reversibility / rank @@
+Normal rank
@@ Property / cites work @@
+Static versus dynamic reversibility in CCS
@@ Property / cites work: Static versus dynamic reversibility in CCS / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic approach to reversible computation
@@ Property / cites work: An axiomatic approach to reversible computation / rank @@
+Normal rank
@@ Property / cites work @@
+Static VS Dynamic Reversibility in CCS
@@ Property / cites work: Static VS Dynamic Reversibility in CCS / rank @@
+Normal rank
@@ Property / cites work @@
+A parametric framework for reversible \(\pi\)-calculi
+Normal rank
@@ Property / cites work @@
+Behavioral theory for mobile ambients
@@ Property / cites work: Behavioral theory for mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3396569
@@ Property / cites work: Q3396569 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851713
@@ Property / cites work: Q2851713 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Reversibility and Models for Concurrency
@@ Property / cites work: Reversibility and Models for Concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+EFFICIENT PAIRING FUNCTIONS — AND WHY YOU SHOULD CARE
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Causal Unfoldings
@@ Property / cites work: Causal Unfoldings / rank @@
+Normal rank
@@ Property / cites work @@
+On Specifying Timeouts
@@ Property / cites work: On Specifying Timeouts / rank @@
+Normal rank