Extended version, including proofs, of Bartocci, E.; Cacciagrano, D. R.; Di Berardini, M. R.; Merelli, E. & Tesei, L. Timed Operational Semantics and Well-formedness of Shape Calculus. Scientific Annals of Computer Science, 20(1):33-52, 2010
Shape Calculus: Timed Operational Semantics and Well-Formedness
BARTOCCI, Ezio;CACCIAGRANO, Diletta Romana;DI BERARDINI, Maria Rita;MERELLI, Emanuela;TESEI, Luca
2010-01-01
Abstract
Extended version, including proofs, of Bartocci, E.; Cacciagrano, D. R.; Di Berardini, M. R.; Merelli, E. & Tesei, L. Timed Operational Semantics and Well-formedness of Shape Calculus. Scientific Annals of Computer Science, 20(1):33-52, 2010File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.