Composition with Consistent Updates for Abstract State Machines
Cached
Download Links
- [www.cs.brown.edu]
- [cs.brown.edu]
- [ikt.hia.no]
- [cs.brown.edu]
- [cs.washington.edu]
- [www.cs.brown.edu]
- [www.cs.brown.edu]
- [www.cs.brown.edu]
- [www.cs.washington.edu]
- [www.cs.brown.edu]
- [www.cs.brown.edu]
- [www.eecs.berkeley.edu]
- [homes.cs.washington.edu]
- [cs.brown.edu]
- [cs.brown.edu]
- [lmeyerov.github.io]
- [cs.brown.edu]
by
Colin Gordon
,
Leo Meyerovich
,
Joel Weinberger
,
Shriram Krishnamurthi