Gianola, Alessandro; Kasangian, Stefano; Manicardi, Desiree; Sabadini, Nicoletta; Schiavio, Filippo; Tini, Simone CospanSpan(Graph): a compositional description of the heart system. (English) Zbl 1435.68206 Fundam. Inform. 171, No. 1-4, 221-237 (2020). MSC: 68Q70 92C50 PDFBibTeX XMLCite \textit{A. Gianola} et al., Fundam. Inform. 171, No. 1--4, 221--237 (2020; Zbl 1435.68206) Full Text: DOI
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone A function elimination method for checking satisfiability of arithmetical logics. (English) Zbl 1403.03048 Fundam. Inform. 143, No. 1-2, 51-71 (2016). MSC: 03B70 03B10 03B25 03C10 03F30 PDFBibTeX XMLCite \textit{V. Castiglioni} et al., Fundam. Inform. 143, No. 1--2, 51--71 (2016; Zbl 1403.03048) Full Text: DOI
Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone A specification format for rooted branching bisimulation. (English) Zbl 1315.68190 Fundam. Inform. 135, No. 4, 355-369 (2014). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{V. Castiglioni} et al., Fundam. Inform. 135, No. 4, 355--369 (2014; Zbl 1315.68190) Full Text: DOI
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone P systems with transport and diffusion membrane channels. (English) Zbl 1191.68315 Fundam. Inform. 93, No. 1-3, 17-31 (2009). MSC: 68Q10 PDFBibTeX XMLCite \textit{R. Barbuti} et al., Fundam. Inform. 93, No. 1--3, 17--31 (2009; Zbl 1191.68315)
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone A P systems flat form preserving step-by-step behaviour. (English) Zbl 1154.68048 Fundam. Inform. 87, No. 1, 1-34 (2008). MSC: 68Q10 PDFBibTeX XMLCite \textit{R. Barbuti} et al., Fundam. Inform. 87, No. 1, 1--34 (2008; Zbl 1154.68048)
Tini, Simone; Maggiolo-Schettini, Andrea Compositional synthesis of generalized Mealy machines. (English) Zbl 1083.68062 Fundam. Inform. 60, No. 1-4, 367-382 (2004). MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Tini} and \textit{A. Maggiolo-Schettini}, Fundam. Inform. 60, No. 1--4, 367--382 (2004; Zbl 1083.68062) Full Text: Link
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone Dynamic hierarchical machines. (English) Zbl 1111.68061 Fundam. Inform. 54, No. 2-3, 237-252 (2003). MSC: 68Q45 68Q85 68Q60 PDFBibTeX XMLCite \textit{R. Lanotte} et al., Fundam. Inform. 54, No. 2--3, 237--252 (2003; Zbl 1111.68061)
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Peron, Adriano Transformations of timed cooperating automata. (English) Zbl 1004.68088 Fundam. Inform. 47, No. 3-4, 271-282 (2001). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{R. Lanotte} et al., Fundam. Inform. 47, No. 3--4, 271--282 (2001; Zbl 1004.68088)
Maggiolo-Schettini, Andrea; Tini, Simone Applying techniques of asynchronous concurrency to synchronous languages. (English) Zbl 0942.68029 Fundam. Inform. 40, No. 2-3, 221-250 (1999). MSC: 68N19 PDFBibTeX XMLCite \textit{A. Maggiolo-Schettini} and \textit{S. Tini}, Fundam. Inform. 40, No. 2--3, 221--250 (1999; Zbl 0942.68029)