Investigating Java Concurrency Using Abstract State Machines.
Yuri GurevichWolfram SchulteCharles WallacePublished in: Abstract State Machines (2000)
Keyphrases
- object oriented languages
- object oriented
- programming language
- lightweight
- open source
- java programs
- byte code
- concurrency control
- nested transactions
- data flow
- database systems
- source code
- concurrent programming
- artificial intelligence
- concurrent execution
- java language
- transaction processing
- general purpose
- web services
- development environment
- object oriented programming
- object oriented databases
- software systems
- operating system
- software engineering
- high level