Matteo Cimini's publications

  1. Nominal SOS. Matteo Cimini, MohamamdReza Mousavi, Michel A. Reniers and Murdoch J. Gabbay. It will appear in Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVIII), Bath, UK, Electronic Notes in Theoretical Computer Science, Elsevier, 2012.
  2. Modelling and simulation of asynchronous real-time systems using Timed Rebeca. Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, and Marjan Sirjani. In Proceedings of the 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011), volume 58 of Electronic Proceedings in Theoretical Computer Science, pages 1-19, 2011.
  3. Rule formats for distributivity. Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammadreza Mousavi, and Michel A. Reniers. In Proceedings of the 5th International Conference on Language and Automata Theory and Applications (LATA 2011), volume 6638 of Lecture Notes in Computer Science, pages 79-90, Springer-Verlag, 2011.
  4. SOS rule formats for zero and unit elements. Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, MohammadReza Mousavi, and Michel A. Reniers. In the journal Theoretical Computer Science, 412(28):3045-3071, 2011.
  5. Proving the validity of equations in GSOS languages using rule-matching bisimilarity. Luca Aceto, Matteo Cimini, and Anna Ingólfsdóttir. In the journal Mathematical Structures in Computer Science, 22(2):291--331, Cambridge University Press, 2012.
  6. Functions as processes: Termination and the Lambda-bar-mu-mu-tilde-Calculus. Matteo Cimini, Claudio Sacerdoti Coen, and Davide Sangiorgi. In Proceedings of the 5th Symposium on Trustworthy Global Computing (TGC 2010), volume 6084 of Lecture Notes in Computer Science, pages 73-86, Springer-Verlag, 2010. Online Appendix
  7. On rule formats for zero and unit elements. Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, MohammadReza Mousavi, and Michel A. Reniers. In Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXVI), Ottawa, Canada, volume 265 of Electronic Notes in Theoretical Computer Science, pages 145-160. Elsevier B.V., The Netherlands, 2010.
  8. A bisimulation-based method for proving the validity of equations in GSOS languages. Luca Aceto, Matteo Cimini, and Anna Ingólfsdóttir. In Proceedings of the 6th Workshop on Structural Operational Semantics 2009 (SOS 2009), August 31, 2009, Bologna (Italy), volume 18 of Electronic Proceedings in Theoretical Computer Science, pages 1-16, 2010.

Other documents

  1. Nominal SOS - Online Resource.   Matteo Cimini, MohamamdReza Mousavi, Michel A. Reniers and Murdoch J. Gabbay.