Sign in
On atomicity enforcement in concurrent software via Discrete Event Systems theory.
Yin Wang
Peng Liu
Terence Kelly
Stéphane Lafortune
Spyros A. Reveliotis
Charles Zhang
Published in:
CDC (2012)
Keyphrases
</>
discrete event systems
petri net
model based diagnosis
complex systems
failure diagnosis
software development
discrete event
timed petri nets
electronic commerce
telecommunication networks
cooperative
database
video sequences
relational databases
wireless sensor networks
transaction processing