TY  - RPRT
TI  - Shape Calculus: Timed Operational Semantics and Well-formedness
AU  - Ezio Bartocci
AU  - Diletta Romana Cacciagrano
AU  - Maria Rita Di Berardini
AU  - Emanuela Merelli
AU  - Luca Tesei
PY  - 2010
UR  - https://arxiv.org/abs/1011.2488
ID  - 1011.2488
ER  -