Concurrency-Enhancing Transformations for Asynchronous Behavioral Specifications: A Data-Driven Approach.
John HansenMontek SinghPublished in: ASYNC (2008)
Keyphrases
- delay insensitive
- state machines
- asynchronous circuits
- data driven
- concurrency control
- high level
- database systems
- formal specification
- management system
- databases
- reactive systems
- transaction processing
- discussion groups
- behavioral data
- asynchronous communication
- nested transactions
- specification language
- human behavior
- neural network