A formal framework for distributed cyber-physical systems (Q2168791): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4286512931
@@ Property / OpenAlex ID: W4286512931 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Real time process algebra with time-dependent conditions
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+An Algebraic Semantics for Contract-Based Software Components
+Normal rank
@@ Property / cites work @@
+A Compositional Specification Theory for Component Behaviours
+Normal rank
@@ Property / cites work @@
+Q4941495
@@ Property / cites work: Q4941495 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325068
@@ Property / cites work: Q3325068 / rank @@
+Normal rank
@@ Property / cites work @@
+Active diagnosis of discrete-event systems
@@ Property / cites work: Active diagnosis of discrete-event systems / rank @@
+Normal rank