Pages that link to "Item:Q444466"
From MaRDI portal
The following pages link to Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466):
Displaying 16 items.
- Dynamic rebinding for concurrent object groups: theory and practice (Q347396) (← links)
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) (← links)
- A proof system for adaptable class hierarchies (Q478383) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- A secrecy-preserving language for distributed and object-oriented systems (Q1648643) (← links)
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems (Q2360659) (← links)
- Observable behavior of dynamic systems: component reasoning for concurrent objects (Q2864507) (← links)
- Modeling Actor Systems Using Dynamic I/O Automata (Q3179176) (← links)
- KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS (Q3454119) (← links)
- Observing Distributed Computation. A Dynamic-Epistemic Approach (Q3612502) (← links)
- (Q4548214) (← links)
- Predicting the behaviour of three-tiered applications: dealing with distributed-object technology and databases (Q4779377) (← links)
- Proving the Safety of Highly-Available Distributed Objects (Q5041111) (← links)
- Analysis of Executable Software Models (Q5175771) (← links)