Ameur-Boulifa, Rabéa; Henrio, Ludovic; Madelaine, Eric Compositional equivalences based on open pNets. (English) Zbl 1512.68161 J. Log. Algebr. Methods Program. 131, Article ID 100842, 66 p. (2023). MSC: 68Q85 68N30 PDFBibTeX XMLCite \textit{R. Ameur-Boulifa} et al., J. Log. Algebr. Methods Program. 131, Article ID 100842, 66 p. (2023; Zbl 1512.68161) Full Text: DOI arXiv
Loulergue, Frédéric (ed.) Preface to the special issue on formal approaches to parallel and distributed systems 2018. (English) Zbl 1462.68005 J. Log. Algebr. Methods Program. 116, Article ID 100580, 1 p. (2020). MSC: 68-06 68Q10 68Q85 00B25 PDFBibTeX XMLCite \textit{F. Loulergue} (ed.), J. Log. Algebr. Methods Program. 116, Article ID 100580, 1 p. (2020; Zbl 1462.68005) Full Text: DOI
Daggitt, Matthew L.; Zmigrod, Ran; Griffin, Timothy G. A relaxation of Üresin and Dubois’ asynchronous fixed-point theory in Agda. (English) Zbl 1468.68286 J. Autom. Reasoning 64, No. 5, 857-877 (2020). MSC: 68V15 68V20 68W10 68W15 PDFBibTeX XMLCite \textit{M. L. Daggitt} et al., J. Autom. Reasoning 64, No. 5, 857--877 (2020; Zbl 1468.68286) Full Text: DOI
Qin, Xudong; Bliudze, Simon; Madelaine, Eric; Hou, Zechen; Deng, Yuxin; Zhang, Min SMT-based generation of symbolic automata. (English) Zbl 1443.68114 Acta Inf. 57, No. 3-5, 627-656 (2020). MSC: 68Q85 68Q45 68Q55 68T20 PDFBibTeX XMLCite \textit{X. Qin} et al., Acta Inf. 57, No. 3--5, 627--656 (2020; Zbl 1443.68114) Full Text: DOI
Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam An evaluation of interaction paradigms for active objects. (English) Zbl 1417.68023 J. Log. Algebr. Methods Program. 103, 154-183 (2019). MSC: 68M14 68M20 PDFBibTeX XMLCite \textit{F. Karami} et al., J. Log. Algebr. Methods Program. 103, 154--183 (2019; Zbl 1417.68023) Full Text: DOI
Ameur-Boulifa, R.; Henrio, L.; Kulankhina, O.; Madelaine, E.; Savu, A. Behavioural semantics for asynchronous components. (English) Zbl 1407.68271 J. Log. Algebr. Methods Program. 89, 1-40 (2017). MSC: 68Q55 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{R. Ameur-Boulifa} et al., J. Log. Algebr. Methods Program. 89, 1--40 (2017; Zbl 1407.68271) Full Text: DOI HAL
Li, Siqi; Madelaine, Eric A denotational semantics for parameterised networks of synchronised automata. (English) Zbl 1483.68234 Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 93-113 (2017). MSC: 68Q85 68Q45 68Q55 PDFBibTeX XMLCite \textit{S. Li} and \textit{E. Madelaine}, Lect. Notes Comput. Sci. 10134, 93--113 (2017; Zbl 1483.68234) Full Text: DOI HAL
Bravetti, Mario; Giachino, Elena; Lienhardt, Michael; Wong, Peter Y. H. Dynamic rebinding for concurrent object groups: theory and practice. (English) Zbl 1353.68044 J. Log. Algebr. Methods Program. 86, No. 1, 349-390 (2017). MSC: 68N19 68N15 PDFBibTeX XMLCite \textit{M. Bravetti} et al., J. Log. Algebr. Methods Program. 86, No. 1, 349--390 (2017; Zbl 1353.68044) Full Text: DOI
Henrio, Ludovic; Madelaine, Eric; Zhang, Min A theory for the composition of concurrent processes. (English) Zbl 1347.68267 Albert, Elvira (ed.) et al., Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6–9, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39569-2/pbk; 978-3-319-39570-8/ebook). Lecture Notes in Computer Science 9688, 175-194 (2016). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Henrio} et al., Lect. Notes Comput. Sci. 9688, 175--194 (2016; Zbl 1347.68267) Full Text: DOI HAL
Chen, Yanwen; Chen, Yixiang; Madelaine, Eric Timed-pNets: a communication behavioural semantic model for distributed systems. (English) Zbl 1403.68138 Front. Comput. Sci. 9, No. 1, 87-110 (2015). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{Y. Chen} et al., Front. Comput. Sci. 9, No. 1, 87--110 (2015; Zbl 1403.68138) Full Text: DOI HAL
Giachino, Elena; Laneve, Cosimo Deadlock detection in linear recursive programs. (English) Zbl 1445.68052 Bernardo, Marco (ed.) et al., Formal methods for executable software models. 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014, Bertinoro, Italy, June 16–20, 2014. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8483, 26-64 (2014). MSC: 68N30 68N19 PDFBibTeX XMLCite \textit{E. Giachino} and \textit{C. Laneve}, Lect. Notes Comput. Sci. 8483, 26--64 (2014; Zbl 1445.68052) Full Text: DOI arXiv
Henrio, Ludovic; Kammüller, Florian; Lutz, Bianca ASP\(_{\text{fun}}\) : a typed functional active object calculus. (English) Zbl 1242.68053 Sci. Comput. Program. 77, No. 7-8, 823-847 (2012). MSC: 68N18 68T15 PDFBibTeX XMLCite \textit{L. Henrio} et al., Sci. Comput. Program. 77, No. 7--8, 823--847 (2012; Zbl 1242.68053) Full Text: DOI
Broch Johnsen, Einar; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth Validating timed models of deployment components with parametric concurrency. (English) Zbl 1308.68037 Beckert, Bernhard (ed.) et al., Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28–30, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18069-9/pbk). Lecture Notes in Computer Science 6528, 46-60 (2011). MSC: 68N30 68Q85 PDFBibTeX XMLCite \textit{E. Broch Johnsen} et al., Lect. Notes Comput. Sci. 6528, 46--60 (2011; Zbl 1308.68037) Full Text: DOI
Clarke, Dave; Johnsen, Einar Broch; Owe, Olaf Concurrent objects à la carte. (English) Zbl 1274.68058 Dams, Dennis (ed.) et al., Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. Berlin: Springer (ISBN 978-3-642-11511-0/pbk). Lecture Notes in Computer Science 5930, 185-206 (2010). MSC: 68N19 PDFBibTeX XMLCite \textit{D. Clarke} et al., Lect. Notes Comput. Sci. 5930, 185--206 (2010; Zbl 1274.68058) Full Text: DOI Link
Berghofer, Stefan; Bulwahn, Lukas; Haftmann, Florian Turning inductive into equational specifications. (English) Zbl 1252.68249 Berghofer, Stefan (ed.) et al., Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03358-2/pbk). Lecture Notes in Computer Science 5674, 131-146 (2009). MSC: 68T15 68N17 68N18 68Q60 PDFBibTeX XMLCite \textit{S. Berghofer} et al., Lect. Notes Comput. Sci. 5674, 131--146 (2009; Zbl 1252.68249) Full Text: DOI
Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin Behavioral interface description of an object-oriented language with futures and promises. (English) Zbl 1187.68130 J. Log. Algebr. Program. 78, No. 7, 491-518 (2009). MSC: 68N19 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., J. Log. Algebr. Program. 78, No. 7, 491--518 (2009; Zbl 1187.68130) Full Text: DOI
Caromel, Denis; Henrio, Ludovic; Serpette, Bernard Paul Asynchronous sequential processes. (English) Zbl 1170.68026 Inf. Comput. 207, No. 4, 459-495 (2009). MSC: 68Q85 68Q10 68Q55 PDFBibTeX XMLCite \textit{D. Caromel} et al., Inf. Comput. 207, No. 4, 459--495 (2009; Zbl 1170.68026) Full Text: DOI Link
Haller, Philipp; Odersky, Martin Scala actors: Unifying thread-based and event-based programming. (English) Zbl 1162.68396 Theor. Comput. Sci. 410, No. 2-3, 202-220 (2009). MSC: 68N19 PDFBibTeX XMLCite \textit{P. Haller} and \textit{M. Odersky}, Theor. Comput. Sci. 410, No. 2--3, 202--220 (2009; Zbl 1162.68396) Full Text: DOI Link
Johnsen, Einar Broch; Yu, Ingrid Chieh Backwards type analysis of asynchronous method calls. (English) Zbl 1151.68006 J. Log. Algebr. Program. 77, No. 1-2, 40-59 (2008). MSC: 68N19 PDFBibTeX XMLCite \textit{E. B. Johnsen} and \textit{I. C. Yu}, J. Log. Algebr. Program. 77, No. 1--2, 40--59 (2008; Zbl 1151.68006) Full Text: DOI
Attali, Isabelle; Caromel, Denis; Henrio, Ludovic; Del Aguila, Felipe Luna Secured information flow for asynchronous sequential processes. (English) Zbl 1277.68159 Backes, Michael (ed.) et al., Proceedings of the international workshop on security and concurrency (SecCo 2005), San Francisco, CA, USA, August 22, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 180, No. 1, 17-34 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{I. Attali} et al., Electron. Notes Theor. Comput. Sci. 180, No. 1, 17--34 (2007; Zbl 1277.68159) Full Text: DOI
Henrio, Ludovic; Kammüller, Florian A mechanized model of the theory of objects. (English) Zbl 1202.68097 Bonsangue, Marcello M. (ed.) et al., Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72919-8/pbk). Lecture Notes in Computer Science 4468, 190-205 (2007). MSC: 68N19 68N18 68Q55 68T15 PDFBibTeX XMLCite \textit{L. Henrio} and \textit{F. Kammüller}, Lect. Notes Comput. Sci. 4468, 190--205 (2007; Zbl 1202.68097) Full Text: DOI
Niehren, J.; Schwinghammer, J.; Smolka, G. A concurrent lambda calculus with futures. (English) Zbl 1110.68023 Theor. Comput. Sci. 364, No. 3, 338-356 (2006). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{J. Niehren} et al., Theor. Comput. Sci. 364, No. 3, 338--356 (2006; Zbl 1110.68023) Full Text: DOI Link