 |
 |
|
|
 |
|
|
|
|
 |
1. |
Concurrency : the works of Leslie Lamport
Malkhi, Dahlia. - First edition. - New York City, NY : ACM, Association for Computing Machinery, [2019]
|
|
|
|
2. |
Theoretische Informatik : Petri-Netze
Priese, Lutz. - Berlin : Springer, 2003
|
|
|
|
3. |
The origin of concurrent programming : from semaphores to remote procedure calls
Brinch Hansen, Per *1938-2007*. - New York : Springer, 2002
|
|
|
|
4. |
Concurrency verification : introduction to compositional and noncompositional methods
Roever, Willem-Paul de *1943-*. - 1. publ. - Cambridge, UK : Cambridge University Press, 2001
|
|
|
|
5. |
Models and paradigms for concurrency : [dedicated to the IC-EATCS Advanced School on "Models and Paradigms for Concurrency", September 15 - 19, 1997, Udine, Italy]
Palamidessi, Catuscia. - Amsterdam [u.a.] : Elsevier, 2001
|
|
|
|
6. |
Concurrent object oriented programming and Petri nets : advances in Petri nets
Agha, Gul A.. - Berlin : Springer, 2001
|
|
|
|
7. |
Axiomatic systems in concurrency theory
Kummer, Olaf. - Berlin : Logos-Verl., 2001
|
|
|
|
8. |
Concurrent object-oriented programming with process types
Puntigam, Franz. - Osnabrück : Der Andere Verl., 2001
|
|
|
|
9. |
Proof, language, and interaction : essays in honour of Robin Milner
Plotkin, Gordon *1946-*. - Cambridge, Mass. : MIT, 2000
|
|
|
|
10. |
Coordination languages and models : proceedings
Porto, António. - Berlin : Springer, 2000
|
|
|
|
|
|
|
1 - 10 von 125
  |
|
|
|
|
1 - 10 von 125
|
|
|
