-
1
A new operational representation of dependencies in Event Structures
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
2
Representing Dependencies in Event Structures
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
3
Spreading nets: A uniform approach to unfoldings
Veröffentlicht in Journal of logical and algebraic methods in programming
VolltextArtikel -
4
-
5
A complete fuzzy logical system to deal with trust management systems
Veröffentlicht in Fuzzy sets and systems
VolltextArtikel -
6
Toward a Uniform Approach to the Unfolding of Nets
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
7
Contracts as games on event structures
Veröffentlicht in Journal of logical and algebraic methods in programming
VolltextArtikel -
8
A note on two notions of compliance
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
9
-
10
A new operational representation of dependencies in Event Structures
Veröffentlicht in arXiv.org
VolltextArtikel -
11
-
12
-
13
A Reversible Perspective on Petri Nets and Event Structures
Veröffentlicht in ACM transactions on computational logic
VolltextArtikel -
14
Process discovery and Petri nets
Veröffentlicht in Mathematical structures in computer science
VolltextArtikel -
15
-
16
Memory associated with membranes systems
Veröffentlicht in Journal of membrane computing
VolltextArtikel -
17
A Truly Concurrent Semantics for Reversible CCS
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
18
-
19
-
20
An event-based model for contracts
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel