Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Exilsammlungen

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Noch nicht die passende Literatur gefunden? → Book a Librarian

Mittwoch, 22. Mai 2024: Die Deutsche Nationalbibliothek in Leipzig ist wegen eines Betriebsausflug geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind bis 18 Uhr geöffnet. // Wednesday, 22 May 2024: The German National Library in Leipzig will be closed due to a staff outing. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.

Ergebnis der Suche nach: tit all "Process Algebra."
im Bestand: Gesamter Bestand

1 - 10 von 57

1	Imperative Process Algebra and Models of Parallel Computation Enthalten in Theory of computing systems 14.3.2024: 1-42
2	Compositional Stochastic Process Algebra Models: A Focus on Model Repair and Rate Lifting Soltanieh, Amin. - München : Dr. Hut, 2023	Ankündigung
3	Compositional Stochastic Process Algebra Models: A Focus on Model Repair and Rate Lifting Soltanieh, Amin. - München : Verlag Dr. Hut, 2023
4	Formal Modeling and Verifying Dubbo Using Process Algebra Enthalten in Mobile networks and applications 23.10.2023: 1-16
5	Reactive bisimulation semantics for a process algebra with timeouts Enthalten in Acta informatica 8.4.2022: 1-47
6	Formalization and Analysis of Haystack Architecture from Process Algebra Perspective Enthalten in Mobile networks and applications 9.12.2019: 1-15
7	Stapp, Bohm and the Algebra of Process Enthalten in Activitas nervosa superior 17.4.2019: 1-6
8	An asynchronous process algebra with multiple clocks Andersen, Henrik Reif. - Bamberg : Otto-Friedrich-Universität Bamberg, 2018
9	Process Algebra with Strategic Interleaving Enthalten in Theory of computing systems 8.8.2018: 1-18
10	Improving process algebra model structure and parameters in infectious disease epidemiology through data mining In: Journal of intelligent information systems 22.7.2017: 1-23