-
1
Concurrency and Probability: Removing Confusion, Compositionally
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
2
-
3
-
4
-
5
Semiring-based constraint satisfaction and optimization
Veröffentlicht in Journal of the ACM
VolltextArtikel -
6
Connector algebras for C/E and P/T nets' interactions
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
7
Event Structures for Petri nets with Persistence
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
8
-
9
-
10
-
11
-
12
Dynamic Programming on Nominal Graphs
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
13
-
14
A network-conscious π-calculus and its coalgebraic semantics
Veröffentlicht in Theoretical computer science
VolltextArtikel -
15
Bayesian network semantics for Petri nets
Veröffentlicht in Theoretical computer science
VolltextArtikel -
16
Symbolic and Asynchronous Semantics via Normalized Coalgebras
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
17
Foreword: special issue on structure transformation
Veröffentlicht in Mathematical structures in computer science
VolltextArtikel -
18
-
19
Symmetries, local names and dynamic (de)-allocation of names
Veröffentlicht in Information and computation
VolltextArtikel -
20
Logical and Semantic Frameworks with Applications
Veröffentlicht in Theoretical computer science
VolltextArtikel