Scribd Logo
Upload

Welcome to Scribd!

  • 10 views

    Unit 1.3:-Process Algebra 3: Class

    Uploaded by

    Deepa Tamang
    Process algebra is a mathematical framework that models system behavior as algebraic terms representing processes. In process algebra, processes are represented as labeled transition systems where states are connected by actions. There are two types of actions: observable actions that occur explicitly when a process is ready, and unobservable actions that occur implicitly without events. Process algebra is useful for mathematically reasoning about how processes can evolve from one state to another through actions. An example models a two-place buffer process that can put items in (IN action) or take items out (OUT action) subject to the buffer being non-full or non-empty.

    Copyright:

    © All Rights Reserved
    Download as PPTX, PDF, TXT or read online from Scribd
    Flag for inappropriate content

    You might also like

    Unit 1.3:-Process Algebra 3: Class

    Uploaded by

    Deepa Tamang
    10 views8 pages
    Process algebra is a mathematical framework that models system behavior as algebraic terms representing processes. In process algebra, processes are represented as labeled transition systems where states are connected by actions. There are two types of actions: observable actions that occur explicitly when a process is ready, and unobservable actions that occur implicitly without events. Process algebra is useful for mathematically reasoning about how processes can evolve from one state to another through actions. An example models a two-place buffer process that can put items in (IN action) or take items out (OUT action) subject to the buffer being non-full or non-empty.

    Original Description:

    Original Title

    PDC_Unit1.3_Class3

    Copyright

    © © All Rights Reserved

    Available Formats

    PPTX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    Process algebra is a mathematical framework that models system behavior as algebraic terms representing processes. In process algebra, processes are represented as labeled transition systems where states are connected by actions. There are two types of actions: observable actions that occur explicitly when a process is ready, and unobservable actions that occur implicitly without events. Process algebra is useful for mathematically reasoning about how processes can evolve from one state to another through actions. An example models a two-place buffer process that can put items in (IN action) or take items out (OUT action) subject to the buffer being non-full or non-empty.

    Copyright:

    © All Rights Reserved
    Download as PPTX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pptx, pdf, or txt
    10 views8 pages

    Unit 1.3:-Process Algebra 3: Class

    Uploaded by

    Deepa Tamang
    Process algebra is a mathematical framework that models system behavior as algebraic terms representing processes. In process algebra, processes are represented as labeled transition systems where states are connected by actions. There are two types of actions: observable actions that occur explicitly when a process is ready, and unobservable actions that occur implicitly without events. Process algebra is useful for mathematically reasoning about how processes can evolve from one state to another through actions. An example models a two-place buffer process that can put items in (IN action) or take items out (OUT action) subject to the buffer being non-full or non-empty.

    Copyright:

    © All Rights Reserved
    Download as PPTX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pptx, pdf, or txt
    of 8

    Unit 1.

    3 :- Process Algebra

    Class 3

    Unit 1.3 Parallel and Distributed Computing 1


    Process Algebra
    • System behavior generally consists of process and data
    • Process are the control mechanism for the manipulation
    of the data
    • Process are dynamic and active, while the data are static
    and passive
    • System behavior tends to be composed of several
    processes that are executed concurrently, where those
    processes exchange data in order to influence each
    other’s behavior

    Unit 1.3 Parallel and Distributed Computing 2


    Unit 1.3 Parallel and Distributed Computing 3
    Process Algebra……………………………
    •• Is  a labeled transition system in which one state is selected as a
    root state
    • If the labeled transition system contains an edge , then the process
    graph can evolve from state S to S’ by the execution of action
    (event) a
    • For the mathematical reasoning, process graph are expressed
    algebraically called process algebra
    • So process algebra is a mathematical framework in which system
    behavior is expressed in the form of algebraic terms
    • Process algebra studies two types of action
    – Observable Action
    – Unobservable Action

    Unit 1.3 Parallel and Distributed Computing 4


    Process Algebra……………………………
    • Observable Action
    – Can occur within a process, if the process is ready
    to perform the action and some controlling
    environments allows it to occur
    – Explicit
    • Unobservable Action
    – Occur without any event(explicit)
    – Implicit
    – Denoted by  (tow)
    Unit 1.3 Parallel and Distributed Computing 5
    Process Algebra……………………………
    • Example
    • The buffer is operated through
    a two place buffer
    • IN  putting one item in the buffer
    • OUT  taking one item from the
    buffer
    • It is impossible to put one item
    into a full buffer and impossible
    to take one item from empty buffer
    • Initially buffer is empty, i.e. only one operation (IN) is possible

    Unit 1.3 Parallel and Distributed Computing 6


    Process Algebra……………………………
    • Example

    Unit 1.3 Parallel and Distributed Computing 7


    End of Session

    Unit 1.3 Parallel and Distributed Computing 8

    You might also like