An operational semantics for a calculus for wireless systems (Q964487): Difference between revisions

@@ Property / describes a project that uses @@
+Esterel
@@ Property / describes a project that uses: Esterel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2010.01.023
+Normal rank
@@ Property / OpenAlex ID @@
+W2013747113
@@ Property / OpenAlex ID: W2013747113 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Systems
@@ Property / cites work: Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934334
@@ Property / cites work: Q4934334 / 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 @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+An Observational Theory for Mobile Ad Hoc Networks
+Normal rank
@@ Property / cites work @@
+Q2851331
@@ Property / cites work: Q2851331 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for security analysis of mobile wireless networks
+Normal rank
@@ Property / cites work @@
+SOFSEM 2006: Theory and Practice of Computer Science
+Normal rank
@@ Property / cites work @@
+A Prospectus for Mobile Broadcasting Systems
@@ Property / cites work: A Prospectus for Mobile Broadcasting Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank