A semantic theory of the Internet of things (Q1706144): Difference between revisions

@@ Property / OpenAlex ID @@
+W4206771601
@@ Property / OpenAlex ID: W4206771601 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04854
@@ Property / arXiv ID: 1510.04854 / rank @@
+Normal rank
@@ Property / cites work @@
+The internet of things: a survey
@@ Property / cites work: The internet of things: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+On reduction-based process semantics
@@ Property / cites work: On reduction-based process semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to hybrid dynamical systems
@@ Property / cites work: An introduction to hybrid dynamical systems / 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 @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling MAC-Layer Communications in Wireless Systems
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+A synchronous \(\pi\)-calculus
@@ Property / cites work: A synchronous \(\pi\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral theory for mobile ambients
@@ Property / cites work: Behavioral theory for mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+An efficiency preorder for processes
@@ Property / cites work: An efficiency preorder for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5367043
@@ Property / cites work: Q5367043 / rank @@
+Normal rank
@@ Property / cites work @@
+Generative communication in Linda
@@ Property / cites work: Generative communication in Linda / 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 @@
+An operational semantics for a calculus for wireless systems
+Normal rank
@@ Property / cites work @@
+A framework for security analysis of mobile wireless networks
+Normal rank
@@ Property / cites work @@
+An observational theory for mobile ad hoc networks (full version)
+Normal rank
@@ Property / cites work @@
+A Calculus for Mobile Ad Hoc Networks
@@ Property / cites work: A Calculus for Mobile Ad Hoc Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of mobile ad hoc networks: an algebraic approach
+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 @@
+A calculus of trustworthy ad hoc networks
@@ Property / cites work: A calculus of trustworthy ad hoc networks / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic Analysis of Gossip Protocols for Wireless Sensor Networks
+Normal rank
@@ Property / cites work @@
+A process calculus for mobile ad hoc networks
@@ Property / cites work: A process calculus for mobile ad hoc networks / rank @@
+Normal rank
@@ Property / cites work @@
+A Process Algebra for Wireless Mesh Networks
@@ Property / cites work: A Process Algebra for Wireless Mesh Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Fine-Grained and Coarse-Grained Reactive Noninterference
+Normal rank