1 / 8

In terms of Process Algebra

In terms of Process Algebra. Process P:. 4. m. a. 1. 2. 5. m. a. box P var  -- program counter action a :: {1,2}  := +1 action b :: =3  :=1 method m ::. b. m. 3. Properties. Process P:. 4. m. a. 1. 2. 5. m. a. m. 3.

marla
Download Presentation

In terms of Process Algebra

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. In terms of Process Algebra Process P: 4 m a 1 2 5 m a box P var -- program counter action a :: {1,2}  := +1 action b :: =3  :=1 method m :: ... b m 3

  2. Properties Process P: 4 m a 1 2 5 m a m 3 Safety : constraints relating current and next state, e.g.  = 1 unless  = 2 {4,5} unless false Progress, e.g.  = 1    {4,5}

  3. x x [] 2 Parallel Composition 4 m a 1 2 5 m a m 3

  4. x Properties under Parallel Composition 4 m a 1 2 5 m a m 3 These safety are preserved:  = 1 unless  = 2 {4,5} unless false Progress:  = 1    {4,5} destroyed!

  5. Preserved if we assume strong fairness. Properties under Parallel Composition 4 m a 1 2 5 m m 3 Progress:  = 1    {4,5} Preserved if we assume weak fairness.

More Related