- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
In: Electronic Proceedings in Theoretical Computer Science, 160, S. 16-29
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg
- (wer)
-
Universität Augsburg
- (wann)
-
2014
- Ereignis
-
Veröffentlichung
- (wo)
-
Waterloo
- (wer)
-
Open Publishing Association
- (wann)
-
2014
- Urheber
- DOI
-
10.4204/eptcs.160.3
- URN
-
urn:nbn:de:bvb:384-opus4-962845
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:46 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Peters, Kirstin
- Yonova-Karbe, Tsvetelina
- Nestmann, Uwe
- Universität Augsburg
- Open Publishing Association
Entstanden
- 2014
Ähnliche Objekte (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