A Generic Process Algebra (Q5262952): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2005.12.077
@@ Property / DOI: 10.1016/j.entcs.2005.12.077 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2005.12.077
+Normal rank
@@ Property / OpenAlex ID @@
+W2129870576
@@ Property / OpenAlex ID: W2129870576 / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding untimed into timed process algebra: the case for explicit termination
+Normal rank
@@ Property / cites work @@
+Q3404131
@@ Property / cites work: Q3404131 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with propositional signals
@@ Property / cites work: Process algebra with propositional signals / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727367
@@ Property / cites work: Q3727367 / 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 @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q3792231
@@ Property / cites work: Q3792231 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on the methodology of CCS and CSP
@@ Property / cites work: Notes on the methodology of CCS and CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete axiomatisation for observational congruence of finite-state behaviours
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2005.12.077
@@ Property / DOI: 10.1016/J.ENTCS.2005.12.077 / rank @@
+Normal rank