C 1994

Fix-point semantics of synchronized systems and correctness of their basic transformationsa.

GRUSKA, Jozef and I. GUESSARIAN

Basic information

Original name

Fix-point semantics of synchronized systems and correctness of their basic transformationsa.

Authors

GRUSKA, Jozef and I. GUESSARIAN

Edition

Hamburg, Procedings of IFIP Congress´94,INFORMATION PROCESSING´94, p. 213-234, 1994

Publisher

IFIP

Other information

Language

English

Type of outcome

Chapter(s) of a specialized book

Field of Study

20206 Computer hardware and architecture

Confidentiality degree

is not subject to a state or trade secret

RIV identification code

RIV/00216224:14330/94:00000050

Organization unit

Faculty of Informatics
Changed: 25/2/1999 00:56, prof. RNDr. Jozef Gruska, DrSc.

Links

MSM 143300001, plan (intention)
Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing