mailing list For webmasters
Welcome Guest
resolution Options
Tara2
Posted: Friday, April 30, 2021 11:18:13 AM

Rank: Advanced Member

Joined: 11/8/2017
Posts: 3,588
Neurons: 13,208
What does 'resolution' mean? Does it mean
'a solution of a problem, etc.:
[uncountable]the resolution of the crisis.
[countable]looking for a resolution of the crisis.'
?

nondeterminism in a state of this transition system may stand either for
(i) an “internal” nondeterministic choice within program graph PG1 or PG2,
(ii) the interleaving of noncritical actions of PG1 and PG2, or
(iii) the resolution of a contention between critical actions of PG1 and PG2 (concurrency).

Principles of Model Checking
georgew
Posted: Friday, April 30, 2021 1:03:17 PM

Rank: Advanced Member

Joined: 8/13/2016
Posts: 414
Neurons: 2,514
Location: Calabasas, California, United States
Tara2
Posted: Friday, April 30, 2021 1:32:54 PM

Rank: Advanced Member

Joined: 11/8/2017
Posts: 3,588
Neurons: 13,208

You shouldn't bother yourself, georgew
lazarius
Posted: Friday, April 30, 2021 1:40:14 PM

Rank: Advanced Member

Joined: 8/27/2016
Posts: 1,066
Neurons: 1,391,330
Location: Kotel’niki, Moskovskaya, Russia
It's this:

Tara2 wrote:
[uncountable]the resolution of the crisis.

A contention is resolved when it comes or is brought to an indisputable conclusion.

-
Tara2
Posted: Friday, April 30, 2021 1:47:42 PM

Rank: Advanced Member

Joined: 11/8/2017
Posts: 3,588
Neurons: 13,208
lazarius wrote:
It's this:

Tara2 wrote:
[uncountable]the resolution of the crisis.

A contention is resolved when it comes or is brought to an indisputable conclusion.

-

Many thanks lazarius!!!
Users browsing this topic
Guest


Forum Jump
You cannot post new topics in this forum.
You cannot reply to topics in this forum.
You cannot delete your posts in this forum.
You cannot edit your posts in this forum.
You cannot create polls in this forum.
You cannot vote in polls in this forum.