A Chart Semantics for the Pi-Calculus (Q2864369): Difference between revisions

@@ Property / cites work @@
+Q2752046
@@ Property / cites work: Q2752046 / rank @@
+Normal rank
@@ Property / cites work @@
+The box algebra = Petri nets + process expressions
+Normal rank
@@ Property / cites work @@
+Formal Methods for Components and Objects
@@ Property / cites work: Formal Methods for Components and Objects / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondence assertions for process synchronization in concurrent communications
+Normal rank
@@ Property / cites work @@
+Trace and testing equivalence on asynchronous processes
+Normal rank
@@ Property / cites work @@
+A fully abstract semantics for causality in the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+Concurrency and atomicity
@@ Property / cites work: Concurrency and atomicity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805920
@@ Property / cites work: Q3805920 / rank @@
+Normal rank
@@ Property / cites work @@
+Event Structure Semantics for Nominal Calculi
@@ Property / cites work: Event Structure Semantics for Nominal Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q5714432
@@ Property / cites work: Q5714432 / rank @@
+Normal rank
@@ Property / cites work @@
+Secrecy and group creation
@@ Property / cites work: Secrecy and group creation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760252
@@ Property / cites work: Q2760252 / 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 @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+An open graph visualization system and its applications to software engineering
+Normal rank
@@ Property / cites work @@
+Typing correspondence assertions for communication protocols
+Normal rank
@@ Property / cites work @@
+A fully abstract may testing semantics for concurrent objects
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791828
@@ Property / cites work: Q4791828 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2906940
@@ Property / cites work: Q2906940 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851333
@@ Property / cites work: Q2851333 / rank @@
+Normal rank