Resources in process algebra (Q2373652): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114851560
@@ Property / Wikidata QID: Q114851560 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2016762881
@@ Property / OpenAlex ID: W2016762881 / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduler modeling based on the controller synthesis paradigm
+Normal rank
@@ Property / cites work @@
+Q4472261
@@ Property / cites work: Q4472261 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+A complete axiomatization of finite-state ACSR processes
+Normal rank
@@ Property / cites work @@
+A process algebra of communicating shared resources with dense time and priorities
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+TPAP
@@ Property / cites work: TPAP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536612
@@ Property / cites work: Q4536612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417942
@@ Property / cites work: Q4417942 / rank @@
+Normal rank