|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A multiset semantics for the pi-calculus with replication |
Engelfriet, Joost |
1996 |
153 | 1-2 |
p. 65-94 30 p. |
artikel |
|
| 2 | An event structure semantics for general Petri nets |
Hoogers, P.W. |
1996 |
153 | 1-2 |
p. 129-170 42 p. |
artikel |
|
| 3 | Author index volume 153 (1996) |
1996 |
153 | 1-2 |
p. 301- 1 p. |
artikel |
||
| 4 | Editorial Board |
1996 |
153 | 1-2 |
p. iii-vi nvt p. |
artikel |
||
| 5 | Nets, time and space |
Petri, C.A. |
1996 |
153 | 1-2 |
p. 3-48 46 p. |
artikel |
|
| 6 | On the border of causality: Contact and confusion |
Smith, Einar |
1996 |
153 | 1-2 |
p. 245-270 26 p. |
artikel |
|
| 7 | Petri nets and bisimulation |
Nielsen, Mogens |
1996 |
153 | 1-2 |
p. 211-244 34 p. |
artikel |
|
| 8 | Preface |
Rozenberg, G. |
1996 |
153 | 1-2 |
p. 1- 1 p. |
artikel |
|
| 9 | Process versus unfolding semantics for Place/Transition Petri nets |
Meseguer, José |
1996 |
153 | 1-2 |
p. 171-210 40 p. |
artikel |
|
| 10 | Proving nonreachability by modulo-invariants |
Desel, J. |
1996 |
153 | 1-2 |
p. 49-64 16 p. |
artikel |
|
| 11 | Structure theory of equal conflict systems |
Teruel, Enrique |
1996 |
153 | 1-2 |
p. 271-300 30 p. |
artikel |
|
| 12 | Trapping mutual exclusion in the box calculus |
Esparza, Javier |
1996 |
153 | 1-2 |
p. 95-128 34 p. |
artikel |
12 gevonden resultaten