Expressiveness of Process Algebras (Q2870198): Difference between revisions

@@ Property / cites work @@
+On the consistency of Koomen's fair abstraction rule
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852065
@@ Property / cites work: Q2852065 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+What is a ``good'' encoding of guarded choice?
@@ Property / cites work: What is a ``good'' encoding of guarded choice? / rank @@
+Normal rank
@@ Property / cites work @@
+Decoding choice encodings
@@ Property / cites work: Decoding choice encodings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513619
@@ Property / cites work: Q4513619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508309
@@ Property / cites work: Q4508309 / rank @@
+Normal rank
@@ Property / cites work @@
+From π-calculus to higher-order π-calculus — and back
+Normal rank
@@ Property / cites work @@
+Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators
+Normal rank