Component-Based Construction of Deadlock-Free Systems: Extended Abstract.

Gregor Gößler Joseph Sifakis

Published in: FSTTCS (2003)

Keyphrases

extended abstract
deadlock free
database
distributed systems
end users
intelligent systems
computer systems