|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
16 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Conference Reviewing System in Mobile Maude |
Durán, Francisco |
2004 |
71 | C |
p. 127-143 17 p. |
artikel |
|
| 2 | An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0 |
Thati, Prasanna |
2004 |
71 | C |
p. 261-281 21 p. |
artikel |
|
| 3 | A Secret-Sharing Protocol Modelled in Maude |
Rodríguez, Dilia E. |
2004 |
71 | C |
p. 223-239 17 p. |
artikel |
|
| 4 | Correct and Complete (Positive) Strategy Annotations for OBJ |
Alpuente, María |
2004 |
71 | C |
p. 70-89 20 p. |
artikel |
|
| 5 | Implementing CCS in Maude 2 |
Verdejo, Alberto |
2004 |
71 | C |
p. 282-300 19 p. |
artikel |
|
| 6 | Modeling Group Communication Protocols Using Multiset Term Rewriting |
Denker, Grit |
2004 |
71 | C |
p. 20-39 20 p. |
artikel |
|
| 7 | Outermost Ground Termination |
Fissore, Olivier |
2004 |
71 | C |
p. 188-207 20 p. |
artikel |
|
| 8 | Pathway Logic: Executable Models of Biological Networks |
Eker, Steven |
2004 |
71 | C |
p. 144-161 18 p. |
artikel |
|
| 9 | Plan in Maude Specifying an Active Network Programming Language |
Stehr, Mark-Oliver |
2004 |
71 | C |
p. 240-260 21 p. |
artikel |
|
| 10 | Preface |
Gadducci, Fabio |
2004 |
71 | C |
p. 1-2 2 p. |
artikel |
|
| 11 | Processes and Games |
Honda, Kohei |
2004 |
71 | C |
p. 40-69 30 p. |
artikel |
|
| 12 | Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic |
Clavel, Manuel |
2004 |
71 | C |
p. 110-126 17 p. |
artikel |
|
| 13 | Rewriting-Based Verification of Authentication Protocols |
Ogata, Kazuhiro |
2004 |
71 | C |
p. 208-222 15 p. |
artikel |
|
| 14 | Rewriting Calculus with(out) Types |
Cirstea, Horatiu |
2004 |
71 | C |
p. 3-19 17 p. |
artikel |
|
| 15 | The Maude LTL Model Checker |
Eker, Steven |
2004 |
71 | C |
p. 162-187 26 p. |
artikel |
|
| 16 | Tiling Transactions in Rewriting Logic |
Bruni, Roberto |
2004 |
71 | C |
p. 90-109 20 p. |
artikel |
16 gevonden resultaten