CADP

См. также в других словарях:

• Construction and Analysis of Distributed Processes — Developer(s) the INRIA VASY team Initial release 1986, 24–25 years ago Stable release …   Wikipedia

• Temporal logic — In logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic… …   Wikipedia

• Bisimulation — In theoretical computer science a bisimulation is a binary relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice versa.Intuitively two systems are… …   Wikipedia

• Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… …   Wikipedia

• Dairyland Canada — Dairyland was a company based in Vancouver, British Columbia and is now owned by Saputo Dairy Foods Canada. Its products are sold across Canada. Dairyland became Agrifoods International Cooperative Ltd. following the sale of the majority of its… …   Wikipedia

• SYNTAX — In computer science, SYNTAX is a system used to generate lexical and syntactic analyzers (parsers) (both deterministic and non deterministic) for all kind of context free grammars (CFGs) as well as some classes of contextual grammars. It is… …   Wikipedia

• Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… …   Wikipedia

• Assemblies of God — Infobox Christian denomination name = Assemblies of God imagewidth = 150 caption = main classification = Protestant orientation = Pentecostal, Evangelical polity = Presbyterian founder = founded date = 1914 founded place = separated from = parent …   Wikipedia

• Language Of Temporal Ordering Specification — (LOTOS) is a formal specification language based on temporal ordering used for protocol specification in ISO OSI standards. It was published as ISO 8807 in 1990 and describes the order in which events occur.ee also* Formal methods * List of ISO… …   Wikipedia

• Nasugbu, Batangas — Nasugbu   Municipality   Map of Batangas showing the location of Nasugbu …   Wikipedia

• PSE All Shares Index — The PSE All Shares Index is the stock index in the Philippine Stock Exchange in which all of the stocks traded are included in computations for the level of the index.List of stocksA* A. Brown Company (Pse|BRN) * A. Soriano Corporation (Pse|ANS)… …   Wikipedia