- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Electronic Proceedings in Theoretical Computer Science, 160, S. 16-29
- Event
-
Veröffentlichung
- (where)
-
Augsburg
- (who)
-
Universität Augsburg
- (when)
-
2014
- Event
-
Veröffentlichung
- (where)
-
Waterloo
- (who)
-
Open Publishing Association
- (when)
-
2014
- Creator
- DOI
-
10.4204/eptcs.160.3
- URN
-
urn:nbn:de:bvb:384-opus4-962845
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 PM CET
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
- Peters, Kirstin
- Yonova-Karbe, Tsvetelina
- Nestmann, Uwe
- Universität Augsburg
- Open Publishing Association
Time of origin
- 2014
Other Objects (12)
Synchrony vs causality in the asynchronous pi-calculus
A Calculus for Set-Based Program Development Part II: Proof Search
A Calculus for Set-Based Program Development Part I: Mathematical Foundations.
From Sequential Algebra to Kleene Algebra: Interval Modalities and Duration Calculus
Mathematical Analysis of Replication by Cash Flow Matching
An algebraic calculus of database preferences
Contextual equivalence for the pi-calculus that can stop
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Embedding the pi-calculus into a concurrent functional programming language
Embedding the pi-calculus into a concurrent functional programming language
Embedding the pi-calculus into a concurrent functional programming language
Embedding the pi-calculus into a concurrent functional programming language
Synchrony vs causality in the asynchronous pi-calculus
A Calculus for Set-Based Program Development Part II: Proof Search
A Calculus for Set-Based Program Development Part I: Mathematical Foundations.
From Sequential Algebra to Kleene Algebra: Interval Modalities and Duration Calculus
Mathematical Analysis of Replication by Cash Flow Matching
An algebraic calculus of database preferences
Contextual equivalence for the pi-calculus that can stop
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Embedding the pi-calculus into a concurrent functional programming language
Embedding the pi-calculus into a concurrent functional programming language
Embedding the pi-calculus into a concurrent functional programming language
Embedding the pi-calculus into a concurrent functional programming language
Synchrony vs causality in the asynchronous pi-calculus
A Calculus for Set-Based Program Development Part II: Proof Search
A Calculus for Set-Based Program Development Part I: Mathematical Foundations.
From Sequential Algebra to Kleene Algebra: Interval Modalities and Duration Calculus
Mathematical Analysis of Replication by Cash Flow Matching
An algebraic calculus of database preferences
Contextual equivalence for the pi-calculus that can stop
Generalized inductive definitions : : the μ-calculus [my-calculus] and Π12-comprehension [Pi 1 2-comprehension]
Embedding the pi-calculus into a concurrent functional programming language
Embedding the pi-calculus into a concurrent functional programming language
Embedding the pi-calculus into a concurrent functional programming language