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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2560421581
@@ Property / OpenAlex ID: W2560421581 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00484
@@ Property / arXiv ID: 1612.00484 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5738991