Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             23 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Applications of Term Rewriting to Cryptographic Protocol Analysis (overview of the invited talk) Millen, J.
 2000
 36 C p. 229-234
6 p.
 artikel
2 ASF+SDF parsing tools applied to ELAN van den Brand, M.G.J.
 2000
 36 C p. 138-157
20 p.
 artikel
3 Behavioral and Coinductive Rewriting (invited talk) 1 1 The research reported in this paper has been supported in part by National Science Foundation grant CCR-9901002, and by the CafeOBJ project of the Information Promotion Agency (IPA), Japan, as part of its Advanced Software Technology Program. Note: all papers by the authors can be found on their websites, which respectively have the URLs http://www.ucsd.edu/users/{goguen, klin, grosu}. More information on the BOBJ system can be found at http://www.ucsd.edu/groups/tatami/bobj/. Note: all papers by the authors can be found on their websites, which respectively have the URLs www.ucsd.edu/users/{goguen, klin, grosu}. More information on the BOBJ system can be found at www.ucsd.edu/groups/tatami/bobj/. Goguen, Joseph
 2000
 36 C p. 2-23
22 p.
 artikel
4 Case Studies in the Specification and Analysis of Protocols in Maude E. Rodríguez, Dilia
 2000
 36 C p. 257-273
17 p.
 artikel
5 CINNI - A Generic Calculus of Explicit Substitutions and its Application to λ- ς- and π-Calculi Oliver Stehr, Mark-
 2000
 36 C p. 70-92
23 p.
 artikel
6 Cyber Assistance for Situtated Human Information Processing (overview of the invited talk) Nakashima, Hideyuki
 2000
 36 C p. 292-293
2 p.
 artikel
7 Defining Standard Prolog in Rewriting Logic Kulaš, M.
 2000
 36 C p. 158-174
17 p.
 artikel
8 Handling Relations over Finite Domains in the Rule-Based System ELAN Ringeissen, Christophe
 2000
 36 C p. 194-211
18 p.
 artikel
9 Maude versus Haskell: an Experimental Comparison in Security Protocol Analysis Basin, David
 2000
 36 C p. 235-256
22 p.
 artikel
10 Modal Logic for Rewriting Theories Pattinson, Dirk
 2000
 36 C p. 175-193
19 p.
 artikel
11 New Foundations for Rewriting Logic Hilberdink, Hendrik
 2000
 36 C p. 43-69
27 p.
 artikel
12 Parameterized Theories and Views in Full Maude 2.0☆ ☆ Supported by DARPA through Rome Laboratories Contract F30602-97-C-0312 and NASA Contract NAS2-98073, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grants CCR-9900334. Durán, Francisco
 2000
 36 C p. 316-338
23 p.
 artikel
13 Polytypic Programming in Maude Clavel, M.
 2000
 36 C p. 339-360
22 p.
 artikel
14 Preface Futatsugi, Kokichi
 2000
 36 C p. 1-
1 p.
 artikel
15 Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems 1 1 Supported by DARPA through Rome Laboratories Contract F30602-C-0312, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grant CCR-9900334. Csaba ölveczky, Peter
 2000
 36 C p. 361-382
22 p.
 artikel
16 Rewriting Logic as a Framework for Generic Verification Tools Leucker, Martin
 2000
 36 C p. 121-137
17 p.
 artikel
17 Rewriting Semantics of Meta-Objects and Composable Distributed Services 1 1 Supported by DARPA through Rome Laboratories Contract F30602-97-C-0312, by DARPA and NASA through Contract NAS2-98073, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grants CCR-9505960 and CCR-9633363, and CCR-9900334. Denker, G.
 2000
 36 C p. 405-425
21 p.
 artikel
18 Simple Network Protocol Simulation within Maude Mason, Ian A.
 2000
 36 C p. 274-291
18 p.
 artikel
19 Termination and normalisation under strategy Proofs in ELAN Kirchner, Hélène
 2000
 36 C p. 93-120
28 p.
 artikel
20 The evaluation strategy for head normal form with and without on-demand flags Nakamura, Masaki
 2000
 36 C p. 212-228
17 p.
 artikel
21 The Leader Election Protocol of IEEE 1394 in Maude☆ ☆ Research supported by CICYT project Desarrollo Formal de Sistemas Distribuidos (TIC97-0669-C03-01). Verdejo, Alberto
 2000
 36 C p. 383-404
22 p.
 artikel
22 The simply typed rewriting calculus Cirstea, Horatiu
 2000
 36 C p. 24-42
19 p.
 artikel
23 Towards Maude 2.0☆ ☆ Supported by DARPA through Rome Laboratories Contract F30602-97-C-0312, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grants CCR-9505960 and CCR-9900334. Clave, M.
 2000
 36 C p. 294-315
22 p.
 artikel
                             23 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland