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