- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Edition
-
Version 18. April 2012
- Language
-
Englisch
- Bibliographic citation
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 47
- Classification
-
Informatik
- Keyword
-
Formale Semantik
Funktionale Programmierung
Lambda-Kalkül
Nebenläufigkeit
- Event
-
Veröffentlichung
- (where)
-
Frankfurt am Main
- (who)
-
Univ.-Bibliothek Frankfurt am Main
- (when)
-
2012
- Creator
- URN
-
urn:nbn:de:hebis:30:3-343122
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:53 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Sabel, David
- Schmidt-Schauß, Manfred
- Univ.-Bibliothek Frankfurt am Main
Time of origin
- 2012
Other Objects (12)
On concurrent programming
On conservativity of concurrent Haskell
ON A MODEL OF CONCURRENT SYSTEMS
On the concurrent behaviour of Petri nets
On logical and concurrent equivalences
Further Studies on Timed Testing of Concurrent Systems
On the Benefits of Abstraction in Concurrent Haskell
Decision and complexity issues on concurrent systems
On determinacy and nondeterminacy in concurrent programming
On determinacy and nondeterminacy in concurrent programming
Concurrent query analytics on distributed graph systems
Timestamp synchronization of concurrent events
On concurrent programming
On conservativity of concurrent Haskell
ON A MODEL OF CONCURRENT SYSTEMS
On the concurrent behaviour of Petri nets
On logical and concurrent equivalences
Further Studies on Timed Testing of Concurrent Systems
On the Benefits of Abstraction in Concurrent Haskell
Decision and complexity issues on concurrent systems
On determinacy and nondeterminacy in concurrent programming
On determinacy and nondeterminacy in concurrent programming
Concurrent query analytics on distributed graph systems
Timestamp synchronization of concurrent events
On concurrent programming
On conservativity of concurrent Haskell
ON A MODEL OF CONCURRENT SYSTEMS
On the concurrent behaviour of Petri nets
On logical and concurrent equivalences
Further Studies on Timed Testing of Concurrent Systems
On the Benefits of Abstraction in Concurrent Haskell
Decision and complexity issues on concurrent systems
On determinacy and nondeterminacy in concurrent programming
On determinacy and nondeterminacy in concurrent programming
Concurrent query analytics on distributed graph systems