Process algebra with propositional signals (Q1391792): Difference between revisions

@@ Property / cites work @@
+Algèbre de processus et synchronisation
@@ Property / cites work: Algèbre de processus et synchronisation / rank @@
+Normal rank
@@ Property / cites work @@
+Global renaming operators in concrete process algebra
+Normal rank
@@ Property / cites work @@
+Process algebra with propositional signals
@@ Property / cites work: Process algebra with propositional signals / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490964
@@ Property / cites work: Q3490964 / 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 @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Process algebra with guards: Combining hoare logic with process algebra
+Normal rank
@@ Property / cites work @@
+Q3750114
@@ Property / cites work: Q3750114 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+The algebra of timed processes, ATP: Theory and application
+Normal rank
@@ Property / cites work @@
+Q4847024
@@ Property / cites work: Q4847024 / rank @@
+Normal rank