@misc{indiciaea0d4f94e175a,
  title = {Shape Calculus: Timed Operational Semantics and Well-formedness},
  author = {Ezio Bartocci and Diletta Romana Cacciagrano and Maria Rita Di Berardini and Emanuela Merelli and Luca Tesei},
  year = {2010},
  url = {https://arxiv.org/abs/1011.2488},
  note = {Source identifier: 1011.2488}
}