Security in a Model for Long-running Transactions

13 years 11 months ago

Abstract. Communicating Hierarchical Transaction-based Timed Automata have been introduced to model systems performing long

Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo

FUIN 2008 | Longrunning Transactions | Security Concept | Transaction-based Timed Automata |

claim paper

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	FUIN
Authors	Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo

Comments (0)