![]() CATEGORIES: BiologyChemistryConstructionCultureEcologyEconomyElectronicsFinanceGeographyHistoryInformaticsLawMathematicsMechanicsMedicineOtherPedagogyPhilosophyPhysicsPolicyPsychologySociologySportTourism |
Operation process of algebra.Constructed the formulas describing operations of processes including parallel composition of processes. Processes are described by terms (expressions), everyone represents process of Therefore, the set of processes has algebraic structure, processes can be considered as elements of some Algebra of processes Main objective of algebra is a check of equivalence: whether, for example, results will be equivalent at all a and b Formulas of logic of Hennessi-Milner (HML) over the final dictionary A are under construction according to the following rules:
In pi calculation in addition to the elementary CCS, it is possible to create new names of channels and to transfer them to other processes in this connection it is possible to describe mobile processes, processes with reconfiguration, etc. pi calculation now is intensively investigated. The set of expansions, for example, a formalism of the specification and analysis of cryptographic protocols is based on it Give an example of Bounded buffer. Vending machine. Examples of behavior trajectory. Description agents
The behavior is a turn of FIFO the First basic operation – (âçàèìî) action. The second basic operation – the sum (alternative)‘ +’ P+Q behaves as P or as Q Some alternatives can be forbidden If both alternatives are possible, the choice isn't determined
Examples of behavior trajectory Processes of P and Q can provzaimodeystvovat on port and if they are ready to it Description agents Object (agent) – we describe dynamics of his behavior. The agent is, actually, possible behavior of the process which is now in a concrete state Parallel composition of agents of S: = CM | | CS" Composition is commutative and associative CS’ Agents can independently work and interact through complementary ports Date: 2016-01-03; view: 1117 |