All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Formal Specification of Shared Variables Using CSP

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F04%3APU49162" target="_blank" >RIV/00216305:26230/04:PU49162 - isvavai.cz</a>

  • Result on the web

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    Formal Specification of Shared Variables Using CSP

  • Original language description

    The algebra of Communicating Sequential Processes provides a facility to formal specify systems by describing their behavior. To be able do denote these systems more precisely it is useful to introduce state variables. Because the CSP algebra deals withconcurrent processes, the state variables are shared between those processes. This contribution describes techniques how to represent shared variables in CSP utilizing common features of CSP without any extension to the algebra.

  • Czech name

    Formální specifikace sdílených promenných s využitím CSP

  • Czech description

    Algebra komunikujících sekvenčních procesů poskytuje možnost pro formální specifikaci systémů prostřednictvím popisování jejich chování. Pro dosáhnutí detailnější specifikace chování je vhodné zavést stavové proměnné. Tyto proměnné jsou sdíleny několikaprocesy. Tento článek se zabývá technikou jak reprezentovat sdílené proměnné v CSP s využitím stávajících vlastností CSP, bez nutnosti rozžiřování.

Classification

  • Type

    D - Article in proceedings

  • CEP classification

    JC - Computer hardware and software

  • OECD FORD branch

Result continuities

  • Project

  • Continuities

    Z - Vyzkumny zamer (s odkazem do CEZ)

Others

  • Publication year

    2004

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Article name in the collection

    Engineering of Computer-Based Systems

  • ISBN

    0-7695-2125-8

  • ISSN

  • e-ISSN

  • Number of pages

    6

  • Pages from-to

    211-216

  • Publisher name

    IEEE Computer Society

  • Place of publication

    Los Alamitos

  • Event location

    Brno

  • Event date

    May 23, 2004

  • Type of event by nationality

    WRD - Celosvětová akce

  • UT code for WoS article