The following pages link to Inheritance in the join calculus. (Q1426056):
Displaying 7 items.
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation (Q1779321) (← links)
- A type checking algorithm for concurrent object protocols (Q1785846) (← links)
- Chemical foundations of distributed aspects (Q2002053) (← links)
- Linked data privacy (Q2973246) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)
- The Two-Phase Commitment Protocol in an Extended π-Calculus (Q4917025) (← links)
