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

• Authors: GRUSKA Jozef; GUESSARIAN I.
• Year of publication: 1994
• Type: Chapter of a book
• MU Faculty or unit: Faculty of Informatics

Related projects

• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing