Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164): Difference between revisions

@@ 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.1016/j.tcs.2006.07.031
+Normal rank
@@ Property / OpenAlex ID @@
+W2084712713
@@ Property / OpenAlex ID: W2084712713 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738214
@@ Property / cites work: Q4738214 / rank @@
+Normal rank
@@ Property / cites work @@
+A foundation for actor computation
@@ Property / cites work: A foundation for actor computation / rank @@
+Normal rank
@@ Property / cites work @@
+Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+A semantics of multiple inheritance
@@ Property / cites work: A semantics of multiple inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Q4855348
@@ Property / cites work: Q4855348 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods for Components and Objects
@@ Property / cites work: Formal Methods for Components and Objects / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for concurrent objects
@@ Property / cites work: A calculus for concurrent objects / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+Programming as a Discipline of Mathematical Nature
+Normal rank
@@ Property / cites work @@
+Q4223023
@@ Property / cites work: Q4223023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122694
@@ Property / cites work: Q3122694 / rank @@
+Normal rank
@@ Property / cites work @@
+Monitors
@@ Property / cites work: Monitors / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790344
@@ Property / cites work: Q4790344 / rank @@
+Normal rank
@@ Property / cites work @@
+Object-Oriented Specification and Open Distributed Systems
+Normal rank
@@ Property / cites work @@
+Q2849872
@@ Property / cites work: Q2849872 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple inheritance in SIMULA-like languages
@@ Property / cites work: Multiple inheritance in SIMULA-like languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q2906951
@@ Property / cites work: Q2906951 / rank @@
+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 @@
+Q4371400
@@ Property / cites work: Q4371400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023882
@@ Property / cites work: Q4023882 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789967
@@ Property / cites work: Q4789967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778806
@@ Property / cites work: Q2778806 / rank @@
+Normal rank
@@ Property / cites work @@
+Polymorphic type, region and effect inference
@@ Property / cites work: Polymorphic type, region and effect inference / rank @@
+Normal rank
@@ Property / cites work @@
+ECOOP '94 - Object-oriented programming. 8th European Conference, Bologna, Italy, July 4-8, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+Objects in the \(\pi\)-calculus
@@ Property / cites work: Objects in the \(\pi\)-calculus / rank @@
+Normal rank