Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata

Conference Paper
Publication Date:
2006
Iris type:
Relazione (in Volume)
List of contributors:
Authors of the University:
Handle:
https://irinsubria.uninsubria.it/handle/11383/1505535
Book title:
Lecture Notes in Computer Science