No label defined (Q3169433)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
22 September 2011
0 references
object-based distributed systems
0 references
formal methods
0 references
dynamic reconfiguration
0 references
encapsulation
0 references
subtyping
0 references
inheritance
0 references
real-time systems
0 references
UML
0 references
LOTOS
0 references
SDL
0 references
Object-Z
0 references
actors
0 references
\(\pi\)-calculus
0 references
ambients
0 references
specification
0 references
modeling
0 references
