Morin, Rémi Shared-memory systems and charts. (English) Zbl 1332.68160 Kulikov, Alexander (ed.) et al., Computer science – theory and applications. 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20711-2/pbk). Lecture Notes in Computer Science 6651, 317-330 (2011). MSC: 68Q85 03D05 68Q45 68Q60 PDFBibTeX XMLCite \textit{R. Morin}, Lect. Notes Comput. Sci. 6651, 317--330 (2011; Zbl 1332.68160) Full Text: DOI
Morin, Rémi Unambiguous shared-memory systems. (English) Zbl 1206.68203 Int. J. Found. Comput. Sci. 21, No. 4, 665-685 (2010). MSC: 68Q80 PDFBibTeX XMLCite \textit{R. Morin}, Int. J. Found. Comput. Sci. 21, No. 4, 665--685 (2010; Zbl 1206.68203) Full Text: DOI
Morin, Rémi Semantics of deterministic shared-memory systems. (English) Zbl 1160.68471 van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 36-51 (2008). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{R. Morin}, Lect. Notes Comput. Sci. 5201, 36--51 (2008; Zbl 1160.68471) Full Text: DOI
Morin, Rémi MSO logic for unambiguous shared-memory systems. (English) Zbl 1159.68025 Ito, Masami (ed.) et al., Developments in language theory. 12th international conference, DLT 2008, Kyoto, Japan, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85779-2/pbk). Lecture Notes in Computer Science 5257, 516-528 (2008). MSC: 68Q85 68Q80 PDFBibTeX XMLCite \textit{R. Morin}, Lect. Notes Comput. Sci. 5257, 516--528 (2008; Zbl 1159.68025) Full Text: DOI
Morin, Rémi Concurrent automata vs. asynchronous systems. (English) Zbl 1156.68497 Jędrzejowicz, Joanna (ed.) et al., Mathematical foundations of computer science 2005. 30th international symposium, MFCS 2005, Gdansk, Poland, August 29–September 2, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28702-7/pbk). Lecture Notes in Computer Science 3618, 686-698 (2005). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{R. Morin}, Lect. Notes Comput. Sci. 3618, 686--698 (2005; Zbl 1156.68497) Full Text: DOI
Morin, Rémi Recognizable sets of message sequence charts. (English) Zbl 1054.68558 Alt, Helmut (ed.) et al., STACS 2002. 19th annual symposium on theoretical aspects of computer science. Antibes - Juan les Pins, France, March 14–16, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43283-3). Lect. Notes Comput. Sci. 2285, 523-534 (2002). MSC: 68Q60 68Q45 68M12 PDFBibTeX XMLCite \textit{R. Morin}, Lect. Notes Comput. Sci. 2285, 523--534 (2002; Zbl 1054.68558) Full Text: Link
Morin, Rémi On regular message sequence chart languages and relationships to Mazurkiewicz trace theory. (English) Zbl 0978.68078 Honsell, Furio (ed.) et al., Foundations of software science and computation structures. 4th international conference, FOSSACS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2030, 332-346 (2001). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{R. Morin}, Lect. Notes Comput. Sci. 2030, 332--346 (2001; Zbl 0978.68078) Full Text: Link
Morin, Rémi Hierarchy of asynchronous automata. (English) Zbl 0966.68095 Stefanescu, Gheorghe (ed.), WDS ’99. Workshop on distributed systems. A satellite workshop to FCT ’99, Iassy, Romania, September 2-3, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 28, 18 p., electronic only (1999). MSC: 68Q45 PDFBibTeX XMLCite \textit{R. Morin}, in: WDS '99. Workshop on distributed systems. A satellite workshop to FCT '99, Iassy, Romania, September 2--3, 1999. Amsterdam: Elsevier. 18 p. (1999; Zbl 0966.68095)
Morin, Rémi Decompositions of asynchronous systems. (English) Zbl 0940.68056 Sangiorgi, Davide (ed.) et al., CONCUR ’98. Concurrency theory. 9th international conference, Nice, France, September 8-11, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1466, 549-564 (1998). MSC: 68Q10 PDFBibTeX XMLCite \textit{R. Morin}, Lect. Notes Comput. Sci. 1466, 549--564 (1998; Zbl 0940.68056)