A Calculus of Cyber-Physical Systems (Q5738991): Difference between revisions

@@ Property / cites work @@
+Process algebra for hybrid systems
@@ Property / cites work: Process algebra for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling MAC-Layer Communications in Wireless Systems
+Normal rank
@@ Property / cites work @@
+Hybrid process algebra
@@ Property / cites work: Hybrid process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+HYPE: hybrid modelling by composition of flows
@@ Property / cites work: HYPE: hybrid modelling by composition of flows / 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 @@
+A Calculus of Cyber-Physical Systems
@@ Property / cites work: A Calculus of Cyber-Physical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic theory of the Internet of things
@@ Property / cites work: A semantic theory of the Internet of things / rank @@
+Normal rank
@@ Property / cites work @@
+A timed calculus for wireless systems
@@ Property / cites work: A timed calculus for wireless systems / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics and pragmatics of real-time maude
@@ Property / cites work: Semantics and pragmatics of real-time maude / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418858
@@ Property / cites work: Q4418858 / rank @@
+Normal rank