Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlap.2012.01.003
@@ Property / DOI: 10.1016/j.jlap.2012.01.003 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+M14
@@ Property / Mathematics Subject Classification ID: 68M14 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6065754
@@ Property / zbMATH DE Number: 6065754 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distributed systems
@@ Property / zbMATH Keywords: distributed systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+object-orientation
@@ Property / zbMATH Keywords: object-orientation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+compositional reasoning
@@ Property / zbMATH Keywords: compositional reasoning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Hoare logic
@@ Property / zbMATH Keywords: Hoare logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrent objects
@@ Property / zbMATH Keywords: concurrent objects / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Java Jr
@@ Property / describes a project that uses: Java Jr / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ABS
@@ Property / describes a project that uses: ABS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JCobox
@@ Property / describes a project that uses: JCobox / 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.jlap.2012.01.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1984201573
@@ Property / OpenAlex ID: W1984201573 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral interface description of an object-oriented language with futures and promises
+Normal rank
@@ Property / cites work @@
+A system for compositional verification of asynchronous objects
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Ten Years of Hoare's Logic: A Survey—Part I
@@ Property / cites work: Ten Years of Hoare's Logic: A Survey—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Ten years of Hoare's logic: A survey. II: Nondeterminism
+Normal rank
@@ Property / cites work @@
+Q4536314
@@ Property / cites work: Q4536314 / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and Development of Interactive Systems
+Normal rank
@@ Property / cites work @@
+Q4004235
@@ Property / cites work: Q4004235 / rank @@
+Normal rank
@@ Property / cites work @@
+A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
+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 Complete Guide to the Future
@@ Property / cites work: A Complete Guide to the Future / rank @@
+Normal rank
@@ Property / cites work @@
+Observable behavior of distributed systems: component reasoning for concurrent objects
+Normal rank
@@ Property / cites work @@
+Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
+Normal rank
@@ Property / cites work @@
+Lazy behavioral subtyping
@@ Property / cites work: Lazy behavioral subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Object-Oriented Specification and Open Distributed Systems
+Normal rank
@@ Property / cites work @@
+Formal Methods for Open Object-Based Distributed Systems
+Normal rank
@@ Property / cites work @@
+Axiomatic semantics of communicating sequential processes
+Normal rank
@@ Property / cites work @@
+A proof technique for parallel programs
@@ Property / cites work: A proof technique for parallel programs / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAP.2012.01.003
@@ Property / DOI: 10.1016/J.JLAP.2012.01.003 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:444466