Multi-threaded Java Design Using Finite State Processes (FSP) and the Labeled Transition System Analyzer.

D. D. Rice Gardiner S. Stiles

Published in: PDPTA (2002)

Keyphrases

finite state
multi threaded
java programs
markov chain
model checking
computer architecture
real time
software engineering
low cost
communication networks
design patterns
multi core processors