Abstract
Can you please explain 'abstract' here? Is that its usual meaning?
The interleaving representation of concurrency is subject to the idea that there is a scheduler which interlocks the steps of concurrently executing processes according to an a priori unknown strategy. This type of representation completely abstracts from the speed of the participating processes and thus models any possible realization by a single-processor machine or by several processors with arbitrary speeds.
Principles of Model Checking
Top answer
As I understand it, "abstracts from the speed of the participating processes" means "eliminates any dependency on, or association with, the speed of the participating processes". I can't find much dictionary support for this specific intransitive use of "abstract". To me it seems jargony, but it may be fairly readily understood from related senses of "abstract".
- As I understand it, "abstracts from the speed of the participating processes" means "eliminates any dependency on, or association with, the speed of the participating processes".
- I can't find much dictionary support for this specific intransitive use of "abstract".
- To me it seems jargony, but it may be fairly readily understood from related senses of "abstract".
Get the Weekly English Kit 📬
New words, one handy idiom, and a 2-minute quiz — delivered to your inbox to keep your streak alive.
As I understand it, "abstracts from the speed of the participating processes" means "eliminates any dependency on, or association with, the speed of the participating processes". I can't find much dictionary support for this specific intransitive use of "abstract". To me it seems jargony, but it may be fairly readily understood from related senses of "abstract".
0
Related Questions