Conferences in DBLP

Workshops on Abstract State Machines (asm)
2000 (conf/asm/2000)

1. Egon Börger
   Abstract State Machines at the Cusp of the Millenium. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2000, pp:1-8 [Conf]
   
2. Andreas Blass
   Abstract State Machines and Pure Mathematics. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2000, pp:9-21 [Conf]
   
3. Andreas Blass, Yuri Gurevich, Jan Van den Bussche
   Abstract State Machines and Computationally Complete Query Languages. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2000, pp:22-33 [Conf]
   
4. Joëlle Cohen, Anatol Slissenko
   On Verification of Refinements of Timed Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2000, pp:34-49 [Conf]
   
5. Martin Odersky
   Objects + Views = Components? [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2000, pp:50-68 [Conf]
   
6. Matthias Anlauff
   XASM - An Extensible, Component-Based ASM Language. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2000, pp:69-90 [Conf]
   
7. Alexandre V. Zamulin
   Generic Facilities in Object-Oriented ASMs. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2000, pp:91-111 [Conf]
   
8. Wolfgang Reisig
   Towards an ASM Thesis for Unconventional Algorithms. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2000, pp:112-130 [Conf]
   
9. Yuri Gurevich, Dean Rosenzweig
   Partially Ordered Runs: A Case Study. [Citation Graph (0, 0)][DBLP]
   Abstract State Machines, 2000, pp:131-150 [Conf]
   
10. Yuri Gurevich, Wolfram Schulte, Charles Wallace
    Investigating Java Concurrency Using Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:151-176 [Conf]
    
11. Gerhard Goos, Wolf Zimmermann
    Verifying Compilers and ASMs. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:177-202 [Conf]
    
12. Steven C. Cater, James K. Huggins
    An ASM Dynamic Semantics for Standard ML. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:203-222 [Conf]
    
13. Egon Börger, Alessandra Cavarra, Elvinia Riccobene
    Modeling the Dynamics of UML State Machines. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:223-241 [Conf]
    
14. Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz
    On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:242-265 [Conf]
    
15. Jürgen Teich, Philipp W. Kutter, Ralph Weper
    Description and Simulation of Microprocessor Instruction Sets Using ASMs. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:266-286 [Conf]
    
16. Natarajan Shankar
    Symbolic Analysis of Transition Systems. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:287-302 [Conf]
    
17. Angelo Gargantini, Elvinia Riccobene
    Encoding Abstract State Machines in PVS. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:303-322 [Conf]
    
18. Marc Spielmann
    Model Checking Abstract State Machines and Beyond. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:323-340 [Conf]
    
19. Kirsten Winter
    Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:341-360 [Conf]
    
20. Egon Börger, Peter Päppinghaus, Joachim Schmid
    Report on a Practical Application of ASMs in Software Design. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:361-366 [Conf]
    
21. Michael Barnett, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes
    Using Abstract State Machines at Microsoft: A Case Study. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2000, pp:367-379 [Conf]