Conferences in DBLP
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 ] Andreas Blass Abstract State Machines and Pure Mathematics. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2000, pp:9-21 [Conf ] 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 ] 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 ] Martin Odersky Objects + Views = Components? [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2000, pp:50-68 [Conf ] Matthias Anlauff XASM - An Extensible, Component-Based ASM Language. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2000, pp:69-90 [Conf ] Alexandre V. Zamulin Generic Facilities in Object-Oriented ASMs. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2000, pp:91-111 [Conf ] Wolfgang Reisig Towards an ASM Thesis for Unconventional Algorithms. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2000, pp:112-130 [Conf ] Yuri Gurevich , Dean Rosenzweig Partially Ordered Runs: A Case Study. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2000, pp:131-150 [Conf ] 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 ] Gerhard Goos , Wolf Zimmermann Verifying Compilers and ASMs. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2000, pp:177-202 [Conf ] 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 ] 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 ] 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 ] 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 ] Natarajan Shankar Symbolic Analysis of Transition Systems. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2000, pp:287-302 [Conf ] Angelo Gargantini , Elvinia Riccobene Encoding Abstract State Machines in PVS. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2000, pp:303-322 [Conf ] Marc Spielmann Model Checking Abstract State Machines and Beyond. [Citation Graph (0, 0)][DBLP ] Abstract State Machines, 2000, pp:323-340 [Conf ] 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 ] 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 ] 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 ]