About: Shared variables in CSP

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Shared variables in CSP Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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 with concurrent 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. 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 with concurrent 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. (en)
Title	Shared variables in CSP Shared variables in CSP (en)
skos:prefLabel	Shared variables in CSP Shared variables in CSP (en)
skos:notation	RIV/00216305:26230/04:PU49080!RIV11-MSM-26230___
http://linked.open...avai/riv/aktivita	N P V Z
http://linked.open...avai/riv/aktivity	N, P(GA102/02/1032), V, Z(MSM 262200012)
http://linked.open...iv/cisloPeriodika	3
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Ščuglík, František Bureš, František
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	586075
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/04:PU49080
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	CSP, process, concurrency, variable, shared variable, critical section, formal specification, communication channel (en)
http://linked.open.../riv/klicoveSlovo	variable CSP communication channel critical section shared variable process concurrency formal specification
http://linked.open...odStatuVydavatele	GR - Řecká republika
http://linked.open...ontrolniKodProRIV	[BE3DF65BB0D3]
http://linked.open...i/riv/nazevZdroje	WSEAS Transactions on Computers
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	Embedded control systems and their inter-communication
http://linked.open...UplatneniVysledku	2004
http://linked.open...v/svazekPeriodika	2004
http://linked.open...iv/tvurceVysledku	Ščuglík, František Bureš, František
http://linked.open...n/vavai/riv/zamer	http://linked.opendata.cz/resource/domain/vavai/zamer/MSM%20262200012
issn	1109-2750
number of pages	6 (xsd:int)
http://localhost/t...ganizacniJednotka	26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software