Aman, Bogdan; Ciobanu, Gabriel Dynamics of reputation in mobile agents systems and weighted timed automata. (English) Zbl 1483.68220 Inf. Comput. 282, Article ID 104653, 22 p. (2022). MSC: 68Q85 68Q45 68Q60 PDF BibTeX XML Cite \textit{B. Aman} and \textit{G. Ciobanu}, Inf. Comput. 282, Article ID 104653, 22 p. (2022; Zbl 1483.68220) Full Text: DOI OpenURL
Prokić, Ivan; Vieira, Hugo Torres The \(C_\pi\)-calculus: a model for confidential name passing. (English) Zbl 1455.68128 J. Log. Algebr. Methods Program. 119, Article ID 100622, 32 p. (2021). MSC: 68Q85 68M25 PDF BibTeX XML Cite \textit{I. Prokić} and \textit{H. T. Vieira}, J. Log. Algebr. Methods Program. 119, Article ID 100622, 32 p. (2021; Zbl 1455.68128) Full Text: DOI arXiv OpenURL
De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco A formal approach to the engineering of domain-specific distributed systems. (English) Zbl 07161324 J. Log. Algebr. Methods Program. 111, Article ID 100511, 37 p. (2020). MSC: 68-XX PDF BibTeX XML Cite \textit{R. De Nicola} et al., J. Log. Algebr. Methods Program. 111, Article ID 100511, 37 p. (2020; Zbl 07161324) Full Text: DOI arXiv OpenURL
Johansen, Christian; Owe, Olaf Dynamic structural operational semantics. (English) Zbl 1431.68061 J. Log. Algebr. Methods Program. 107, 79-107 (2019). MSC: 68Q55 68N15 PDF BibTeX XML Cite \textit{C. Johansen} and \textit{O. Owe}, J. Log. Algebr. Methods Program. 107, 79--107 (2019; Zbl 1431.68061) Full Text: DOI arXiv OpenURL
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide Name-passing calculi: from fusions to preorders and types. (English) Zbl 1353.68206 Inf. Comput. 251, 335-360 (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{D. Hirschkoff} et al., Inf. Comput. 251, 335--360 (2016; Zbl 1353.68206) Full Text: DOI OpenURL
Montanari, Ugo; Sammartino, Matteo Network-conscious \(\pi\)-calculus – a model of Pastry. (English) Zbl 1342.68236 Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 3-17, electronic only (2015). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{U. Montanari} and \textit{M. Sammartino}, Electron. Notes Theor. Comput. Sci. 312, 3--17 (2015; Zbl 1342.68236) Full Text: DOI OpenURL
Montanari, Ugo; Sammartino, Matteo A network-conscious \(\pi\)-calculus and its coalgebraic semantics. (English) Zbl 1342.68234 Theor. Comput. Sci. 546, 188-224 (2014). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{U. Montanari} and \textit{M. Sammartino}, Theor. Comput. Sci. 546, 188--224 (2014; Zbl 1342.68234) Full Text: DOI OpenURL
Montanari, Ugo; Sammartino, Matteo Network conscious \(\pi\)-calculus: a concurrent semantics. (English) Zbl 1342.68235 Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 291-306 (2012). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{U. Montanari} and \textit{M. Sammartino}, Electron. Notes Theor. Comput. Sci. 286, 291--306 (2012; Zbl 1342.68235) Full Text: DOI OpenURL
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka Types for role-based access control of dynamic web data. (English) Zbl 1327.68169 Mariño, Julio (ed.), Functional and constraint logic programming. 19th international workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20774-7/pbk). Lecture Notes in Computer Science 6559, 1-29 (2011). MSC: 68Q85 68M11 PDF BibTeX XML Cite \textit{M. Dezani-Ciancaglini} et al., Lect. Notes Comput. Sci. 6559, 1--29 (2011; Zbl 1327.68169) Full Text: DOI Link OpenURL
Gorla, Daniele A taxonomy of process calculi for distribution and mobility. (English) Zbl 1231.68169 Distrib. Comput. 23, No. 4, 273-299 (2010). MSC: 68Q85 68M14 03B70 PDF BibTeX XML Cite \textit{D. Gorla}, Distrib. Comput. 23, No. 4, 273--299 (2010; Zbl 1231.68169) Full Text: DOI Link OpenURL
Gorla, Daniele Towards a unified approach to encodability and separation results for process calculi. (English) Zbl 1209.68336 Inf. Comput. 208, No. 9, 1031-1053 (2010). MSC: 68Q85 PDF BibTeX XML Cite \textit{D. Gorla}, Inf. Comput. 208, No. 9, 1031--1053 (2010; Zbl 1209.68336) Full Text: DOI Link OpenURL
Ciancia, Vincenzo; Ferrari, Gianluigi; Guanciale, Roberto; Strollo, Daniele Event based choreography. (English) Zbl 1209.68032 Sci. Comput. Program. 75, No. 10, 848-878 (2010). MSC: 68M11 68M12 PDF BibTeX XML Cite \textit{V. Ciancia} et al., Sci. Comput. Program. 75, No. 10, 848--878 (2010; Zbl 1209.68032) Full Text: DOI OpenURL
de Nicola, Rocco; Gorla, Daniele; Hansen, René Rydhof; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Pugliese, Rosario From flow logic to static type systems for coordination languages. (English) Zbl 1192.68126 Sci. Comput. Program. 75, No. 6, 376-397 (2010). MSC: 68N15 68Q60 68M14 PDF BibTeX XML Cite \textit{R. de Nicola} et al., Sci. Comput. Program. 75, No. 6, 376--397 (2010; Zbl 1192.68126) Full Text: DOI Link OpenURL
Gorla, Daniele On the relative expressive power of calculi for mobility. (English) Zbl 1337.68182 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, 269-286 (2009). MSC: 68Q85 PDF BibTeX XML Cite \textit{D. Gorla}, Electron. Notes Theor. Comput. Sci. 249, 269--286 (2009; Zbl 1337.68182) Full Text: DOI OpenURL
Gorla, Daniele; Pugliese, Rosario Dynamic management of capabilities in a network aware coordination language. (English) Zbl 1183.68041 J. Log. Algebr. Program. 78, No. 8, 665-689 (2009). MSC: 68M10 68N15 PDF BibTeX XML Cite \textit{D. Gorla} and \textit{R. Pugliese}, J. Log. Algebr. Program. 78, No. 8, 665--689 (2009; Zbl 1183.68041) Full Text: DOI OpenURL
Bugliesi, Michele; Colazzo, Dario; Crafa, Silvia; Macedonio, Damiano A type system for discretionary access control. (English) Zbl 1172.68043 Math. Struct. Comput. Sci. 19, No. 4, 839-875 (2009). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Bugliesi} et al., Math. Struct. Comput. Sci. 19, No. 4, 839--875 (2009; Zbl 1172.68043) Full Text: DOI OpenURL
Ciobanu, Gabriel Interaction in time and space. (English) Zbl 1277.68172 Goldin, Dina (ed.) et al., Proceedings of the workshop on the foundations of interactive computation (FinCo 2007), Braga, Portugal, March 31, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 3, 5-18 (2008). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{G. Ciobanu}, Electron. Notes Theor. Comput. Sci. 203, No. 3, 5--18 (2008; Zbl 1277.68172) Full Text: DOI OpenURL
Francalanza, Adrian; Hennessy, Matthew A theory of system behaviour in the presence of node and link failure. (English) Zbl 1152.68037 Inf. Comput. 206, No. 6, 711-759 (2008). MSC: 68Q85 68N30 PDF BibTeX XML Cite \textit{A. Francalanza} and \textit{M. Hennessy}, Inf. Comput. 206, No. 6, 711--759 (2008; Zbl 1152.68037) Full Text: DOI Link OpenURL
Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantović, Jovanka; Varacca, Daniele Security types for dynamic web data. (English) Zbl 1146.68014 Theor. Comput. Sci. 402, No. 2-3, 156-171 (2008). MSC: 68M10 68Q85 PDF BibTeX XML Cite \textit{M. Dezani-Ciancaglini} et al., Theor. Comput. Sci. 402, No. 2--3, 156--171 (2008; Zbl 1146.68014) Full Text: DOI Link OpenURL
Caires, Luís Spatial-behavioral types for concurrency and resource control in distributed systems. (English) Zbl 1146.68018 Theor. Comput. Sci. 402, No. 2-3, 120-141 (2008). MSC: 68M14 03B70 68Q85 PDF BibTeX XML Cite \textit{L. Caires}, Theor. Comput. Sci. 402, No. 2--3, 120--141 (2008; Zbl 1146.68018) Full Text: DOI Link OpenURL
Castagna, Giuseppe; de Nicola, Rocco; Varacca, Daniele Semantic subtyping for the pi-calculus. (English) Zbl 1146.68052 Theor. Comput. Sci. 398, No. 1-3, 217-242 (2008). MSC: 68Q85 PDF BibTeX XML Cite \textit{G. Castagna} et al., Theor. Comput. Sci. 398, No. 1--3, 217--242 (2008; Zbl 1146.68052) Full Text: DOI OpenURL
Compagnoni, Adriana; Gunter, Elsa L.; Bidinger, Philippe Role-based access control for boxed ambients. (English) Zbl 1146.68020 Theor. Comput. Sci. 398, No. 1-3, 203-216 (2008). MSC: 68M14 68Q85 PDF BibTeX XML Cite \textit{A. Compagnoni} et al., Theor. Comput. Sci. 398, No. 1--3, 203--216 (2008; Zbl 1146.68020) Full Text: DOI OpenURL
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Giovannetti, Elio Types for ambient and process mobility. (English) Zbl 1141.68046 Math. Struct. Comput. Sci. 18, No. 2, 221-290 (2008). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Coppo} et al., Math. Struct. Comput. Sci. 18, No. 2, 221--290 (2008; Zbl 1141.68046) Full Text: DOI OpenURL
De Nicola, Rocco; Loreti, Michele Multiple-labelled transition systems for nominal calculi and their logics. (English) Zbl 1141.68047 Math. Struct. Comput. Sci. 18, No. 1, 107-143 (2008). MSC: 68Q85 03B70 PDF BibTeX XML Cite \textit{R. De Nicola} and \textit{M. Loreti}, Math. Struct. Comput. Sci. 18, No. 1, 107--143 (2008; Zbl 1141.68047) Full Text: DOI OpenURL
Phillips, Iain; Vigliotti, Maria Grazia Symmetric electoral systems for ambient calculi. (English) Zbl 1133.68059 Inf. Comput. 206, No. 1, 34-72 (2008). MSC: 68Q85 PDF BibTeX XML Cite \textit{I. Phillips} and \textit{M. G. Vigliotti}, Inf. Comput. 206, No. 1, 34--72 (2008; Zbl 1133.68059) Full Text: DOI OpenURL
Jeffrey, Alan; Rathke, Julian Full abstraction for polymorphic \(\pi \)-calculus. (English) Zbl 1134.68040 Theor. Comput. Sci. 390, No. 2-3, 171-196 (2008). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Jeffrey} and \textit{J. Rathke}, Theor. Comput. Sci. 390, No. 2--3, 171--196 (2008; Zbl 1134.68040) Full Text: DOI OpenURL
Maffeis, Sergio; Gardner, Philippa Behavioural equivalences for dynamic web data. (English) Zbl 1135.68005 J. Log. Algebr. Program. 75, No. 1, 86-138 (2008). MSC: 68M10 68Q85 68P05 PDF BibTeX XML Cite \textit{S. Maffeis} and \textit{P. Gardner}, J. Log. Algebr. Program. 75, No. 1, 86--138 (2008; Zbl 1135.68005) Full Text: DOI OpenURL
Ciancia, Vincenzo; Ferrari, Gian Luigi Co-algebraic models for quantitative spatial logics. (English) Zbl 1279.03055 Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 43-58 (2007). MSC: 03B70 03B45 03G30 68Q65 68Q85 PDF BibTeX XML Cite \textit{V. Ciancia} and \textit{G. L. Ferrari}, Electron. Notes Theor. Comput. Sci. 190, No. 3, 43--58 (2007; Zbl 1279.03055) Full Text: DOI OpenURL
Garralda, Pablo; Bonelli, Eduardo; Compagnoni, Adriana; Dezani-Ciancaglini, Mariangiola Boxed ambients with communication interfaces. (English) Zbl 1125.68081 Math. Struct. Comput. Sci. 17, No. 4, 587-645 (2007). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. Garralda} et al., Math. Struct. Comput. Sci. 17, No. 4, 587--645 (2007; Zbl 1125.68081) Full Text: DOI OpenURL
Francalanza, Adrian; Hennessy, Matthew A theory for observational fault tolerance. (English) Zbl 1123.68080 J. Log. Algebr. Program. 73, No. 1-2, 22-50 (2007). MSC: 68Q85 68M15 PDF BibTeX XML Cite \textit{A. Francalanza} and \textit{M. Hennessy}, J. Log. Algebr. Program. 73, No. 1--2, 22--50 (2007; Zbl 1123.68080) Full Text: DOI Link OpenURL
Hym, Samuel; Hennessy, Matthew Adding recursion to Dpi. (English) Zbl 1111.68083 Theor. Comput. Sci. 373, No. 3, 182-212 (2007). MSC: 68Q85 PDF BibTeX XML Cite \textit{S. Hym} and \textit{M. Hennessy}, Theor. Comput. Sci. 373, No. 3, 182--212 (2007; Zbl 1111.68083) Full Text: DOI OpenURL
Barbanera, Franco; Bugliesi, Michele; Dezani-Ciancaglini, Mariangiola; Sassone, Vladimiro Space-aware ambients and processes. (English) Zbl 1111.68011 Theor. Comput. Sci. 373, No. 1-2, 41-69 (2007). MSC: 68M14 PDF BibTeX XML Cite \textit{F. Barbanera} et al., Theor. Comput. Sci. 373, No. 1--2, 41--69 (2007; Zbl 1111.68011) Full Text: DOI Link OpenURL
Guan, Xudong Name-passing in an ambient-like calculus and its proof using spatial logic. (English) Zbl 1092.68067 Theor. Comput. Sci. 356, No. 3, 440-467 (2006). MSC: 68Q85 PDF BibTeX XML Cite \textit{X. Guan}, Theor. Comput. Sci. 356, No. 3, 440--467 (2006; Zbl 1092.68067) Full Text: DOI OpenURL
de Nicola, Rocco; Gorla, Daniele; Pugliese, Rosario On the expressive power of Klaim-based calculi. (English) Zbl 1092.68070 Theor. Comput. Sci. 356, No. 3, 387-421 (2006). MSC: 68Q85 68N15 PDF BibTeX XML Cite \textit{R. de Nicola} et al., Theor. Comput. Sci. 356, No. 3, 387--421 (2006; Zbl 1092.68070) Full Text: DOI OpenURL
Deng, Yuxin; Sangiorgi, Davide Towards an algebraic theory of typed mobile processes. (English) Zbl 1086.68090 Theor. Comput. Sci. 350, No. 2-3, 188-212 (2006). MSC: 68Q85 PDF BibTeX XML Cite \textit{Y. Deng} and \textit{D. Sangiorgi}, Theor. Comput. Sci. 350, No. 2--3, 188--212 (2006; Zbl 1086.68090) Full Text: DOI OpenURL
Hennessy, Matthew; Rathke, Julian; Yoshida, Nobuko safeDpi: a language for controlling mobile code. (English) Zbl 1081.68003 Acta Inf. 42, No. 4-5, 227-290 (2005). MSC: 68M14 68N15 PDF BibTeX XML Cite \textit{M. Hennessy} et al., Acta Inf. 42, No. 4--5, 227--290 (2005; Zbl 1081.68003) Full Text: DOI Link OpenURL
Castagna, G.; Vitek, J.; Nardelli, F. Zappa The seal calculus. (English) Zbl 1101.68060 Inf. Comput. 201, No. 1, 1-54 (2005). MSC: 68Q85 PDF BibTeX XML Cite \textit{G. Castagna} et al., Inf. Comput. 201, No. 1, 1--54 (2005; Zbl 1101.68060) Full Text: DOI OpenURL
Gardner, Philippa; Maffeis, Sergio Modelling dynamic web data. (English) Zbl 1077.68004 Theor. Comput. Sci. 342, No. 1, 104-131 (2005). MSC: 68M10 PDF BibTeX XML Cite \textit{P. Gardner} and \textit{S. Maffeis}, Theor. Comput. Sci. 342, No. 1, 104--131 (2005; Zbl 1077.68004) Full Text: DOI Link OpenURL
Quaglia, Paola; Walker, David Types and full abstraction for polyadic \(\pi\)-calculus. (English) Zbl 1101.68062 Inf. Comput. 200, No. 2, 215-246 (2005). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. Quaglia} and \textit{D. Walker}, Inf. Comput. 200, No. 2, 215--246 (2005; Zbl 1101.68062) Full Text: DOI OpenURL
Hennessy, Matthew The security pi-calculus and non-interference. (English) Zbl 1067.68096 J. Log. Algebr. Program. 63, No. 1, 3-34 (2005). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Hennessy}, J. Log. Algebr. Program. 63, No. 1, 3--34 (2005; Zbl 1067.68096) Full Text: DOI Link OpenURL
Hennessy, Matthew; Merro, Massimo; Rathke, Julian Towards a behavioural theory of access and mobility control in distributed systems. (English) Zbl 1071.68009 Theor. Comput. Sci. 322, No. 3, 615-669 (2004). MSC: 68M14 68Q85 PDF BibTeX XML Cite \textit{M. Hennessy} et al., Theor. Comput. Sci. 322, No. 3, 615--669 (2004; Zbl 1071.68009) Full Text: DOI Link OpenURL
Hennessy, Matthew; Rathke, Julian Typed behavioural equivalences for processes in the presence of subtyping. (English) Zbl 1268.68127 Harland, James (ed.), CATS’02. Computing: the Australasian theory symposium. Proceedings of the 8th symposium, Monash, Australia, January 28 – February 1, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 61, 122-139 (2002). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Hennessy} and \textit{J. Rathke}, Electron. Notes Theor. Comput. Sci. 61, 122--139 (2002; Zbl 1268.68127) Full Text: DOI OpenURL