-
The temporal logic of reactive and concurrent systems : Specification /
-
Developments in concurrency and communication /
-
Specification and analysis of concurrent systems : The COSY approach /
-
Concurrent programming : Principles and practice
-
Object-based concurrent computing : Konf. ECOOP '91 Workshop, Geneva, Switzerland, 15.- 16. July 1991 /
-
CONCUR '92 : Proceedings : Konf. Third international conference on concurrency theory, Stony Brook, USA, 24.- 27. Aug. 1992 /
-
The concurrent programming language /
-
Software design methods for concurrent and real-time systems /
-
Supervisory Control of Concurrent Systems : A Petri Net Structural Approach
-
Concurrent programming : Fundamental techniques for real-time and parallel software design /
-
The SR programming language /
-
Instructor's manual for operating systems programming : The SR programming language
-
Operating systems programming : The SR programming Language
-
Parallel programming /
-
Object-oriented multithreading Ising C++
-
The search for simplicity
-
Concurrent languages in disributed systems. Hardware supported implementation : Proceedings of the IFIP WG 10.3 workshop : Konf. Bristol, U.K., 26.- 28. March 1984 /
-
Neural and concurrent real-time systems : The sixth generation /
-
CENUTSE modifikácia znáhodnených algoritmov : Diz.práca: Obh. 20.1.2000
-
Parallel processing and data management /
-
Concurrent engineering : Automation, tools, and techniques /
-
Win32 multithreaded programming
-
An introduction to database systems : Volume II /
-
Implementácia súbežných procesov vo vnorených systémoch