nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Taxonomy of Infinite State Processes
|
Moller, Faron |
|
1998 |
18 |
C |
p. 3-22 20 p. |
artikel |
2 |
Automatically Proving Up–to Bisimulation
|
Hirschkoff, Daniel |
|
1998 |
18 |
C |
p. 75-89 15 p. |
artikel |
3 |
Branching Processes of general S/T-Systems and their properties
|
Haar, Stefan |
|
1998 |
18 |
C |
p. 65-74 10 p. |
artikel |
4 |
Derivation of Characteristic Formulae
|
Müller-Olm, Markus |
|
1998 |
18 |
C |
p. 159-170 12 p. |
artikel |
5 |
Efficient State Space Search for Time Petri Nets
|
Lilius, Johan |
|
1998 |
18 |
C |
p. 113-133 21 p. |
artikel |
6 |
Faithful π-nets.
|
Ciobanu, Gabriel |
|
1998 |
18 |
C |
p. 24-45 22 p. |
artikel |
7 |
Hardness results for weak bisimilarity of simple process algebras
|
StříAbrná, Jitka |
|
1998 |
18 |
C |
p. 179-190 12 p. |
artikel |
8 |
Intensional Approaches for Symbolic Methods
|
Kushnarenko, Olga |
|
1998 |
18 |
C |
p. 112- 1 p. |
artikel |
9 |
On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics
|
Virbitskaite, Irina |
|
1998 |
18 |
C |
p. 207-222 16 p. |
artikel |
10 |
Place Bisimulation Equivalences for Design of Concurrent and Sequential Systems
|
V. Tarasyuk, Igor |
|
1998 |
18 |
C |
p. 191-206 16 p. |
artikel |
11 |
Preface
|
Jancar, Petr |
|
1998 |
18 |
C |
p. 1-2 2 p. |
artikel |
12 |
Projectable semantics for Statecharts
|
Maggiolo-Schettini, Andrea |
|
1998 |
18 |
C |
p. 134-146 13 p. |
artikel |
13 |
Queues as Processes
|
Burkart, Olaf |
|
1998 |
18 |
C |
p. 23- 1 p. |
artikel |
14 |
Strict Lower Bounds for Model Checking BPA
|
Mayr, Richard |
|
1998 |
18 |
C |
p. 147-158 12 p. |
artikel |
15 |
The essence of Petri nets and transition systems through Abelian groups
|
Juhás, Gabriel |
|
1998 |
18 |
C |
p. 90-111 22 p. |
artikel |
16 |
Towards characterizing bisimilarity of value-passing processes with context-free control
|
P a ̧ czkowski, Pawel |
|
1998 |
18 |
C |
p. 171-178 8 p. |
artikel |
17 |
Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One
|
Ultes-Nitsche, Ulrich |
|
1998 |
18 |
C |
p. 223-239 17 p. |
artikel |
18 |
Tree Morphisms and Bisimulations
|
De Nicola, Rocco |
|
1998 |
18 |
C |
p. 46-64 19 p. |
artikel |