A brief history of Timed CSP (Q674191): Difference between revisions

@@ Property / author @@
+S. A. Schneider
@@ Property / author: S. A. Schneider / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q60173621
@@ Property / Wikidata QID: Q60173621 / rank @@
+Normal rank
@@ Property / cites work @@
+Real time process algebra
@@ Property / cites work: Real time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3812210
@@ Property / cites work: Q3812210 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3761679
@@ Property / cites work: Q3761679 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680258
@@ Property / cites work: Q3680258 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and Proof in Real Time CSP
@@ Property / cites work: Specification and Proof in Real Time CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion induction for real-time processes
@@ Property / cites work: Recursion induction for real-time processes / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and compositional verification of real-time systems
+Normal rank
@@ Property / cites work @@
+Q2757804
@@ Property / cites work: Q2757804 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736355
@@ Property / cites work: Q2736355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3725534
@@ Property / cites work: Q3725534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3787461
@@ Property / cites work: Q3787461 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressiveness of CSP with priority
@@ Property / cites work: The expressiveness of CSP with priority / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/tcs/DaviesS95
@@ Property / DBLP publication ID: journals/tcs/DaviesS95 / rank @@
+Normal rank