A TYPE REDUCTION THEORY FOR SYSTEMS WITH REPLICATED COMPONENTS
The Parameterised Model Checking Problem asks whether an implementation Impl (t) satisfies a specification Spec(t) for all instantiations of parameter t. In general, t can determine numerous entities: the number of processes used in a network, the type of data, the capacities of buffers, etc. The ma...
Main Authors: | Mazur, T, Lowe, G |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2012
|
Similar Items
-
A type reduction theory for systems with replicated components
by: Mazur, T, et al.
Published: (2012) -
A type reduction theory for systems with replicated components
by: Tomasz Mazur, et al.
Published: (2012-02-01) -
Model Checking Systems with Replicated Components using CSP
by: Mazur, T
Published: (2011) -
View abstraction for systems with component identities
by: Lowe, G
Published: (2018) -
Node Replication: Theory And Practice
by: Delia Kesner, et al.
Published: (2024-01-01)