A timed calculus for wireless systems (Q650891): Difference between revisions

@@ Property / cites work @@
+Towards action-refinement in process algebras
@@ Property / cites work: Towards action-refinement in process algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Real time process algebra
@@ Property / cites work: Real time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with timing
@@ Property / cites work: Process algebra with timing / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for the Design of Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Discrete time process algebra
@@ Property / cites work: Discrete time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735065
@@ Property / cites work: Q3735065 / rank @@
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of durational actions
@@ Property / cites work: On the semantics of durational actions / rank @@
+Normal rank
@@ Property / cites work @@
+``Closed interval process algebra'' versus ``interval process algebra''
+Normal rank
@@ Property / cites work @@
+Equational Reasoning on Ad Hoc Networks
@@ Property / cites work: Equational Reasoning on Ad Hoc Networks / rank @@
+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 @@
+A Calculus for Mobile Ad-hoc Networks with Static Location Binding
+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 @@
+Distributed processes and location failures
@@ Property / cites work: Distributed processes and location failures / rank @@
+Normal rank
@@ Property / cites work @@
+An operational semantics for a calculus for wireless systems
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+An observational theory for mobile ad hoc networks (full version)
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Barbed bisimulation
@@ Property / cites work: Barbed bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Guide to wireless mesh networks
@@ Property / cites work: Guide to wireless mesh networks / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for security analysis of mobile wireless networks
+Normal rank
@@ Property / cites work @@
+The algebra of timed processes, ATP: Theory and application
+Normal rank
@@ Property / cites work @@
+Semantic Barbs and Biorthogonality
@@ Property / cites work: Semantic Barbs and Biorthogonality / rank @@
+Normal rank