-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
Underspecification for a simple process algebra of recursive processes
Veröffentlicht in Theoretical computer science
VolltextArtikel -
10
Action refinement applied to late decisions
Veröffentlicht in Formal aspects of computing
VolltextArtikel -
11
Deciding Bisimilarity and Similarity for Probabilistic Processes
Veröffentlicht in Journal of computer and system sciences
VolltextArtikel -
12
Towards the hierarchical verification of reactive systems
Veröffentlicht in Theoretical computer science
VolltextArtikel -
13
Towards a unified view of bisimulation: a comparative study
Veröffentlicht in Theoretical computer science
VolltextArtikel -
14
Adding Action Refinement to Stochastic True Concurrency Models
Veröffentlicht in Formal Methods and Software Engineering
VolltextArtikel -
15
The comparison of a cpo-based semantics with a cms-based semantics for CSP
Veröffentlicht in Theoretical computer science
VolltextArtikel -
16
-
17
Bundle event structures: A revised cpo approach
Veröffentlicht in Information processing letters
VolltextArtikel -
18
Towards action refinement for true concurrent real time
Veröffentlicht in Acta informatica
VolltextArtikel -
19
-
20