An Object-Oriented Component Model for Heterogeneous Nets (Q3603002): Difference between revisions

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OBJ3
@@ Property / describes a project that uses: OBJ3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Creol
@@ Property / describes a project that uses: Creol / 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.1007/978-3-540-92188-2_11
+Normal rank
@@ Property / OpenAlex ID @@
+W2151987729
@@ Property / OpenAlex ID: W2151987729 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammatical inference: Algorithms and applications. 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22--24, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Q4473714
@@ Property / cites work: Q4473714 / rank @@
+Normal rank
@@ Property / cites work @@
+Creol: A type-safe object-oriented model for distributed concurrent systems
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Specification of real-time and hybrid systems in rewriting logic
+Normal rank
@@ Property / cites work @@
+Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
+Normal rank
@@ Property / cites work @@
+Testing Concurrent Objects with Application-Specific Schedulers
+Normal rank
@@ Property / cites work @@
+Q4709119
@@ Property / cites work: Q4709119 / rank @@
+Normal rank