Formalization and correctness of the PALS architectural pattern for distributed real-time systems (Q714796): Difference between revisions

@@ 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.2012.05.040
+Normal rank
@@ Property / OpenAlex ID @@
+W2077349223
@@ Property / OpenAlex ID: W2077349223 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of network synchronization
@@ Property / cites work: Complexity of network synchronization / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic foundations for generalized rewrite theories
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Q4439587
@@ Property / cites work: Q4439587 / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization and correctness of the PALS architectural pattern for distributed real-time systems
+Normal rank
@@ Property / cites work @@
+Specification of real-time and hybrid systems in rewriting logic
+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 @@
+Q5295514
@@ Property / cites work: Q5295514 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473734
@@ Property / cites work: Q4473734 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325545
@@ Property / cites work: Q4325545 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing Synchronous Models on Loosely Time Triggered Architectures
+Normal rank
@@ Property / cites work @@
+Equational rules for rewriting logic
@@ Property / cites work: Equational rules for rewriting logic / rank @@
+Normal rank