Aceto, Luca; Fábregas, Ignacio; Gregorio-Rodríguez, Carlos; Ingólfsdóttir, Anna Logical characterisations, rule formats and compositionality for input-output conformance simulation. (English) Zbl 1423.68091 J. Log. Algebr. Methods Program. 106, 78-106 (2019). MSC: 68N30 03B45 03B70 PDFBibTeX XMLCite \textit{L. Aceto} et al., J. Log. Algebr. Methods Program. 106, 78--106 (2019; Zbl 1423.68091) Full Text: DOI
Gregorio-Rodríguez, Carlos; Llana, Luis; Martínez, Rafael An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation. (English) Zbl 1400.68133 J. Log. Algebr. Methods Program. 100, 152-184 (2018). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{C. Gregorio-Rodríguez} et al., J. Log. Algebr. Methods Program. 100, 152--184 (2018; Zbl 1400.68133) Full Text: DOI
Aceto, Luca; Fábregas, Ignacio; Gregorio-Rodríguez, Carlos; Ingólfsdóttir, Anna Logical characterisations and compositionality of input-output conformance simulation. (English) Zbl 1433.68090 Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 37-48 (2017). MSC: 68N30 03B45 03B70 68Q60 PDFBibTeX XMLCite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 10139, 37--48 (2017; Zbl 1433.68090) Full Text: DOI
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna Axiomatizing weak simulation semantics over BCCSP. (English) Zbl 1359.68183 Theor. Comput. Sci. 537, 42-71 (2014). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., Theor. Comput. Sci. 537, 42--71 (2014; Zbl 1359.68183) Full Text: DOI
de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Palomino, Miguel; Hernández, David Romero Unifying the linear time-branching time spectrum of process semantics. (English) Zbl 1297.68181 Log. Methods Comput. Sci. 9, No. 2, Paper No. 11, 73 p. (2013). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{D. de Frutos Escrig} et al., Log. Methods Comput. Sci. 9, No. 2, Paper No. 11, 73 p. (2013; Zbl 1297.68181) Full Text: DOI arXiv
Aceto, Luca; de Frutos-Escrig, David; Gregorio-Rodríguez, Carlos; Ingólfsdóttir, Anna The equational theory of weak complete simulation semantics over BCCSP. (English) Zbl 1298.68161 Bieliková, Mária (ed.) et al., SOFSEM 2012: Theory and practice of computer science. 38th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 21–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27659-0/pbk). Lecture Notes in Computer Science 7147, 141-152 (2012). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 7147, 141--152 (2012; Zbl 1298.68161) Full Text: DOI
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna Complete and ready simulation semantics are not finitely based over BCCSP, even with a singleton alphabet. (English) Zbl 1260.68252 Inf. Process. Lett. 111, No. 9, 408-413 (2011). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Aceto} et al., Inf. Process. Lett. 111, No. 9, 408--413 (2011; Zbl 1260.68252) Full Text: DOI
Aceto, Luca; de Frutos Escrig, David; Gregorio-Rodríguez, Carlos; Ingolfsdottir, Anna Axiomatizing weak ready simulation semantics over BCCSP. (English) Zbl 1351.68177 Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 7-24 (2011). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 6916, 7--24 (2011; Zbl 1351.68177) Full Text: DOI
Escrig, David de Frutos; Rodríguez, Carlos Gregorio; Palomino, Miguel On the unification of process semantics: equational semantics. (English) Zbl 1337.68180 Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 243-267 (2009). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{D. de F. Escrig} et al., Electron. Notes Theor. Comput. Sci. 249, 243--267 (2009; Zbl 1337.68180) Full Text: DOI
de Frutos Escrig, David; Rodríguez, Carlos Gregorio; Palomino, Miguel Ready to preorder: an algebraic and general proof. (English) Zbl 1187.68309 J. Log. Algebr. Program. 78, No. 7, 539-551 (2009). MSC: 68Q55 PDFBibTeX XMLCite \textit{D. de Frutos Escrig} et al., J. Log. Algebr. Program. 78, No. 7, 539--551 (2009; Zbl 1187.68309) Full Text: DOI
de Frutos Escrig, David; Rodríguez, Carlos Gregorio (Bi)simulations up-to characterise process semantics. (English) Zbl 1165.68054 Inf. Comput. 207, No. 2, 146-170 (2009). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{D. de Frutos Escrig} and \textit{C. G. Rodríguez}, Inf. Comput. 207, No. 2, 146--170 (2009; Zbl 1165.68054) Full Text: DOI
de Frutos Escrig, David; Gregorio Rodríguez, Carlos; Palomino, Miguel On the unification of process semantics: observational semantics. (English) Zbl 1206.68220 Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 279-290 (2009). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{D. de Frutos Escrig} et al., Lect. Notes Comput. Sci. 5404, 279--290 (2009; Zbl 1206.68220) Full Text: DOI Link
De Frutos Escrig, David; Rodríguez, Carlos Gregorio; Palomino, Miguel Coinductive characterisations reveal nice relations between preorders and equivalences. (English) Zbl 1286.68350 Chen, Yixiang (ed.) et al., Proceedings of the 1st international conference on foundations of informatics, computing and software (FICS 2008), East China Normal University, Shanghai, China, June 3–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 212, 149-162 (2008). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{D. De Frutos Escrig} et al., Electron. Notes Theor. Comput. Sci. 212, 149--162 (2008; Zbl 1286.68350) Full Text: DOI
de Frutos Escrig, David; Rodríguez, Carlos Gregorio Constrained simulations, nested simulation semantics and counting bisimulations. (English) Zbl 1278.68149 Pimentel, Ernesto (ed.), Proceedings of the seventh Spanish conference on programming and computer languages (PROLE 2007), Zaragoza, Spain, September 12–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 206, 41-58 (2008). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{D. de Frutos Escrig} and \textit{C. G. Rodríguez}, Electron. Notes Theor. Comput. Sci. 206, 41--58 (2007; Zbl 1278.68149) Full Text: Link
de Frutos Escrig, David; Rodríguez, Carlos Gregorio Simulations up-to and canonical preorders (extended abstract). (English) Zbl 1278.68148 van Glabbeek, Rob (ed.) et al., Proceedings of the fourth workshop on structural operational semantics (SOS 2007), Wroclaw, Poland, July 9, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 192, No. 1, 13-28 (2007). MSC: 68Q55 68Q85 PDFBibTeX XMLCite \textit{D. de Frutos Escrig} and \textit{C. G. Rodríguez}, Electron. Notes Theor. Comput. Sci. 192, No. 1, 13--28 (2007; Zbl 1278.68148) Full Text: DOI
de Frutos-Escrig, David; Rosa-Velardo, Fernando; Gregorio-Rodríguez, Carlos New bisimulation semantics for distributed systems. (English) Zbl 1215.68161 Derrick, John (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2007. 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27–29, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73195-5/pbk). Lecture Notes in Computer Science 4574, 143-159 (2007). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{D. de Frutos-Escrig} et al., Lect. Notes Comput. Sci. 4574, 143--159 (2007; Zbl 1215.68161) Full Text: DOI
de Frutos Escrig, David; Rodríguez, Carlos Gregorio Bisimulations up-to for the linear time branching time spectrum. (English) Zbl 1134.68457 Abadi, Martín (ed.) et al., CONCUR 2005 – concurrency theory. 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28309-9/pbk). Lecture Notes in Computer Science 3653, 278-292 (2005). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{D. de Frutos Escrig} and \textit{C. G. Rodríguez}, Lect. Notes Comput. Sci. 3653, 278--292 (2005; Zbl 1134.68457) Full Text: DOI
Rodríguez, Carlos Gregorio; Gostanza, Pedro Palao Ergotracer: An internet user behaviour tracer. (English) Zbl 1046.68881 Unger, Herwig (ed.) et al., Innovative Internet computing systems. 2nd international workshop, IICS 2002, Kühlungsborn, Germany, June 20–22, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43790-8). Lect. Notes Comput. Sci. 2346, 121-132 (2002). MSC: 68U99 68M10 PDFBibTeX XMLCite \textit{C. G. Rodríguez} and \textit{P. P. Gostanza}, Lect. Notes Comput. Sci. 2346, 121--132 (2002; Zbl 1046.68881) Full Text: Link
Gregorio-Rodríguez, Carlos; Nuñez, Manuel Denotational semantics for probabilistic refusal testing. (English) Zbl 0920.68066 Baier, Christel (ed.) et al., Proceedings of the 1st international workshop on Probabilistic methods in verification (PROBMIV ’98), Indianapolis, IN, USA, June 19–20, 1998 (satellite event to the 13th international IEEE symposium on Logic in computer science, LICS ’98). Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 22, Electronic paper No. 9, (1998). MSC: 68Q55 PDFBibTeX XMLCite \textit{C. Gregorio-Rodríguez} and \textit{M. Nuñez}, in: Proceedings of the 1st international workshop on Probabilistic methods in verification (PROBMIV '98), Indianapolis, IN, USA, June 19--20, 1998 (satellite event to the 13th international IEEE symposium on Logic in computer science, LICS '98). Amsterdam: Elsevier. Electronic paper No. 9, (1998; Zbl 0920.68066) Full Text: Link