GRUSKA, Jozef and I. GUESSARIAN. Fix-point semantics of synchronized systems and correctness of their basic transformationsa. In Procedings of IFIP Congress´94,INFORMATION PROCESSING´94. Hamburg: IFIP, 1994, p. 213-234.
Other formats:   BibTeX LaTeX RIS
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
Original 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 by Changed by: prof. RNDr. Jozef Gruska, DrSc., učo 3026. Changed: 25/2/1999 00:56.
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
PrintDisplayed: 17/5/2024 02:48