Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide Eager functions as processes. (English) Zbl 1483.68226 Theor. Comput. Sci. 913, 8-42 (2022). MSC: 68Q85 03B40 PDFBibTeX XMLCite \textit{A. Durier} et al., Theor. Comput. Sci. 913, 8--42 (2022; Zbl 1483.68226) Full Text: DOI HAL
Casal, Filipe; Mordido, Andreia; Vasconcelos, Vasco T. Mixed sessions. (English) Zbl 1498.68181 Theor. Comput. Sci. 897, 23-48 (2022). Reviewer: Antti Valmari (Jyväskylä) MSC: 68Q85 PDFBibTeX XMLCite \textit{F. Casal} et al., Theor. Comput. Sci. 897, 23--48 (2022; Zbl 1498.68181) Full Text: DOI
Cristescu, Ioana; Given-Wilson, Thomas; Legay, Axel Expressiveness of concurrent intensionality. (English) Zbl 1461.68130 Theor. Comput. Sci. 837, 54-83 (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{I. Cristescu} et al., Theor. Comput. Sci. 837, 54--83 (2020; Zbl 1461.68130) Full Text: DOI
Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Horne, Ross Global types with internal delegation. (English) Zbl 1436.68208 Theor. Comput. Sci. 807, 128-153 (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{I. Castellani} et al., Theor. Comput. Sci. 807, 128--153 (2020; Zbl 1436.68208) Full Text: DOI HAL
Cruz-Filipe, Luís; Montesi, Fabrizio A core model for choreographic programming. (English) Zbl 1436.68078 Theor. Comput. Sci. 802, 38-66 (2020). MSC: 68N19 68Q85 PDFBibTeX XMLCite \textit{L. Cruz-Filipe} and \textit{F. Montesi}, Theor. Comput. Sci. 802, 38--66 (2020; Zbl 1436.68078) Full Text: DOI arXiv Link
Bodei, Chiara; Brodo, Linda; Bruni, Roberto A formal approach to open multiparty interactions. (English) Zbl 1411.68074 Theor. Comput. Sci. 763, 38-65 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Bodei} et al., Theor. Comput. Sci. 763, 38--65 (2019; Zbl 1411.68074) Full Text: DOI arXiv
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi On the boundary between decidability and undecidability of asynchronous session subtyping. (English) Zbl 1388.68024 Theor. Comput. Sci. 722, 19-51 (2018). MSC: 68N30 68Q85 PDFBibTeX XMLCite \textit{M. Bravetti} et al., Theor. Comput. Sci. 722, 19--51 (2018; Zbl 1388.68024) Full Text: DOI arXiv
Bocchi, Laura; Chen, Tzu-Chun; Demangeon, Romain; Honda, Kohei; Yoshida, Nobuko Monitoring networks through multiparty session types. (English) Zbl 1359.68215 Theor. Comput. Sci. 669, 33-58 (2017). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{L. Bocchi} et al., Theor. Comput. Sci. 669, 33--58 (2017; Zbl 1359.68215) Full Text: DOI
Basu, Samik; Bultan, Tevfik On deciding synchronizability for asynchronously communicating systems. (English) Zbl 1353.68195 Theor. Comput. Sci. 656, Part A, 60-75 (2016). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{S. Basu} and \textit{T. Bultan}, Theor. Comput. Sci. 656, Part A, 60--75 (2016; Zbl 1353.68195) Full Text: DOI
Fu, Yuxi Theory of interaction. (English) Zbl 1353.68082 Theor. Comput. Sci. 611, 1-49 (2016). MSC: 68Q05 68Q85 PDFBibTeX XMLCite \textit{Y. Fu}, Theor. Comput. Sci. 611, 1--49 (2016; Zbl 1353.68082) Full Text: DOI
Deng, Yuxin; Zhang, Yu Program equivalence in linear contexts. (English) Zbl 1327.68078 Theor. Comput. Sci. 585, 71-90 (2015). MSC: 68N30 68N15 68N18 PDFBibTeX XMLCite \textit{Y. Deng} and \textit{Y. Zhang}, Theor. Comput. Sci. 585, 71--90 (2015; Zbl 1327.68078) Full Text: DOI arXiv
Honda, Kohei; Yoshida, Nobuko; Berger, Martin An observationally complete program logic for imperative higher-order functions. (English) Zbl 1358.68071 Theor. Comput. Sci. 517, 75-101 (2014). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{K. Honda} et al., Theor. Comput. Sci. 517, 75--101 (2014; Zbl 1358.68071) Full Text: DOI
Fiadeiro, José Luiz; Lopes, Antónia An interface theory for service-oriented design. (English) Zbl 1360.68631 Theor. Comput. Sci. 503, 1-30 (2013). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. L. Fiadeiro} and \textit{A. Lopes}, Theor. Comput. Sci. 503, 1--30 (2013; Zbl 1360.68631) Full Text: DOI
Huang, Shuqin; Cao, Yongzhi; Wang, Hanpin; Qu, Wanling Value-passing CCS with noisy channels. (English) Zbl 1251.68157 Theor. Comput. Sci. 433, 43-59 (2012). MSC: 68Q85 68Q55 68Q87 PDFBibTeX XMLCite \textit{S. Huang} et al., Theor. Comput. Sci. 433, 43--59 (2012; Zbl 1251.68157) Full Text: DOI
Cardelli, Luca; Gardner, Philippa Processes in space. (English) Zbl 1251.68153 Theor. Comput. Sci. 431, 40-55 (2012). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Cardelli} and \textit{P. Gardner}, Theor. Comput. Sci. 431, 40--55 (2012; Zbl 1251.68153) Full Text: DOI
Curien, Pierre-Louis Preface to the special volume. (English, French) Zbl 1213.03043 Theor. Comput. Sci. 412, No. 20, 1853-1859 (2011). MSC: 03B70 03F52 68N30 PDFBibTeX XMLCite \textit{P.-L. Curien}, Theor. Comput. Sci. 412, No. 20, 1853--1859 (2011; Zbl 1213.03043) Full Text: DOI
Caires, Luís; Vieira, Hugo Torres Conversation types. (English) Zbl 1207.68222 Theor. Comput. Sci. 411, No. 51-52, 4399-4440 (2010). MSC: 68Q85 68M14 PDFBibTeX XMLCite \textit{L. Caires} and \textit{H. T. Vieira}, Theor. Comput. Sci. 411, No. 51--52, 4399--4440 (2010; Zbl 1207.68222) Full Text: DOI
Padovani, Luca Contract-based discovery of Web services modulo simple orchestrators. (English) Zbl 1209.68038 Theor. Comput. Sci. 411, No. 37, 3328-3347 (2010). MSC: 68M11 PDFBibTeX XMLCite \textit{L. Padovani}, Theor. Comput. Sci. 411, No. 37, 3328--3347 (2010; Zbl 1209.68038) Full Text: DOI Link
Honda, Kohei; Laurent, Olivier An exact correspondence between a typed pi-calculus and polarised proof-nets. (English) Zbl 1203.68114 Theor. Comput. Sci. 411, No. 22-24, 2223-2238 (2010). MSC: 68Q85 03F07 03F52 PDFBibTeX XMLCite \textit{K. Honda} and \textit{O. Laurent}, Theor. Comput. Sci. 411, No. 22--24, 2223--2238 (2010; Zbl 1203.68114) Full Text: DOI
Varacca, Daniele; Yoshida, Nobuko Typed event structures and the linear \(\pi \)-calculus. (English) Zbl 1200.68165 Theor. Comput. Sci. 411, No. 19, 1949-1973 (2010). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Varacca} and \textit{N. Yoshida}, Theor. Comput. Sci. 411, No. 19, 1949--1973 (2010; Zbl 1200.68165) Full Text: DOI
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Vigliotti, Maria Grazia Probabilistic mobile ambients. (English) Zbl 1183.68400 Theor. Comput. Sci. 410, No. 12-13, 1272-1303 (2009). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{M. Kwiatkowska} et al., Theor. Comput. Sci. 410, No. 12--13, 1272--1303 (2009; Zbl 1183.68400) Full Text: DOI Link
Capecchi, Sara; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Drossopoulou, Sophia; Giachino, Elena Amalgamating sessions and methods in object-oriented languages with generics. (English) Zbl 1169.68011 Theor. Comput. Sci. 410, No. 2-3, 142-167 (2009). MSC: 68N19 PDFBibTeX XMLCite \textit{S. Capecchi} et al., Theor. Comput. Sci. 410, No. 2--3, 142--167 (2009; Zbl 1169.68011) Full Text: DOI
Acciai, Lucia; Boreale, Michele Responsiveness in process calculi. (English) Zbl 1157.68050 Theor. Comput. Sci. 409, No. 1, 59-93 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Acciai} and \textit{M. Boreale}, Theor. Comput. Sci. 409, No. 1, 59--93 (2008; Zbl 1157.68050) Full Text: DOI
Wehrman, Ian; Kitchin, David; Cook, William R.; Misra, Jayadev A timed semantics of Orc. (English) Zbl 1147.68436 Theor. Comput. Sci. 402, No. 2-3, 234-248 (2008). MSC: 68N19 68Q55 PDFBibTeX XMLCite \textit{I. Wehrman} et al., Theor. Comput. Sci. 402, No. 2--3, 234--248 (2008; Zbl 1147.68436) Full Text: DOI
Bruni, Roberto; Lanese, Ivan Parametric synchronizations in mobile nominal calculi. (English) Zbl 1146.68051 Theor. Comput. Sci. 402, No. 2-3, 102-119 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Bruni} and \textit{I. Lanese}, Theor. Comput. Sci. 402, No. 2--3, 102--119 (2008; Zbl 1146.68051) Full Text: DOI
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 PDFBibTeX XMLCite \textit{A. Jeffrey} and \textit{J. Rathke}, Theor. Comput. Sci. 390, No. 2--3, 171--196 (2008; Zbl 1134.68040) Full Text: DOI
Briais, Sébastien; Nestmann, Uwe Open bisimulation, revisited. (English) Zbl 1143.68050 Theor. Comput. Sci. 386, No. 3, 236-271 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{S. Briais} and \textit{U. Nestmann}, Theor. Comput. Sci. 386, No. 3, 236--271 (2007; Zbl 1143.68050) Full Text: DOI Link
Ahern, Alexander; Yoshida, Nobuko Formalising Java RMI with explicit code mobility. (English) Zbl 1132.68020 Theor. Comput. Sci. 389, No. 3, 341-410 (2007). MSC: 68N15 PDFBibTeX XMLCite \textit{A. Ahern} and \textit{N. Yoshida}, Theor. Comput. Sci. 389, No. 3, 341--410 (2007; Zbl 1132.68020) Full Text: DOI
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 PDFBibTeX XMLCite \textit{F. Barbanera} et al., Theor. Comput. Sci. 373, No. 1--2, 41--69 (2007; Zbl 1111.68011) Full Text: DOI Link
Melliès, Paul-André Asynchronous games. II: The true concurrency of innocence. (English) Zbl 1099.68072 Theor. Comput. Sci. 358, No. 2-3, 200-228 (2006). MSC: 68Q85 68Q55 03B40 PDFBibTeX XMLCite \textit{P.-A. Melliès}, Theor. Comput. Sci. 358, No. 2--3, 200--228 (2006; Zbl 1099.68072) Full Text: DOI
Laird, J. A calculus of coroutines. (English) Zbl 1086.68028 Theor. Comput. Sci. 350, No. 2-3, 275-291 (2006). MSC: 68N18 68Q55 PDFBibTeX XMLCite \textit{J. Laird}, Theor. Comput. Sci. 350, No. 2--3, 275--291 (2006; Zbl 1086.68028) Full Text: DOI
Murawski, Andrzej S. Games for complexity of second-order call-by-name programs. (English) Zbl 1079.68023 Theor. Comput. Sci. 343, No. 1-2, 207-236 (2005). MSC: 68N30 68Q55 68Q17 91A80 PDFBibTeX XMLCite \textit{A. S. Murawski}, Theor. Comput. Sci. 343, No. 1--2, 207--236 (2005; Zbl 1079.68023) Full Text: DOI Link
Wischik, Lucian; Gardner, Philippa Explicit fusions. (English) Zbl 1077.68066 Theor. Comput. Sci. 340, No. 3, 606-630 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Wischik} and \textit{P. Gardner}, Theor. Comput. Sci. 340, No. 3, 606--630 (2005; Zbl 1077.68066) Full Text: DOI
Gardner, Philippa; Maffeis, Sergio Modelling dynamic web data. (English) Zbl 1077.68004 Theor. Comput. Sci. 342, No. 1, 104-131 (2005). MSC: 68M10 PDFBibTeX XMLCite \textit{P. Gardner} and \textit{S. Maffeis}, Theor. Comput. Sci. 342, No. 1, 104--131 (2005; Zbl 1077.68004) Full Text: DOI
Murawski, Andrzej S. Functions with local state: regularity and undecidability. (English) Zbl 1108.68076 Theor. Comput. Sci. 338, No. 1-3, 315-349 (2005). MSC: 68Q60 68Q45 03B25 PDFBibTeX XMLCite \textit{A. S. Murawski}, Theor. Comput. Sci. 338, No. 1--3, 315--349 (2005; Zbl 1108.68076) Full Text: DOI Link
Laird, J. Game semantics and linear CPS interpretation. (English) Zbl 1070.68085 Theor. Comput. Sci. 333, No. 1-2, 199-224 (2005). MSC: 68Q55 68Q45 PDFBibTeX XMLCite \textit{J. Laird}, Theor. Comput. Sci. 333, No. 1--2, 199--224 (2005; Zbl 1070.68085) Full Text: DOI
Igarashi, Atsushi; Kobayashi, Naoki A generic type system for the pi-calculus. (English) Zbl 1070.68105 Theor. Comput. Sci. 311, No. 1-3, 121-163 (2004). MSC: 68Q85 PDFBibTeX XMLCite \textit{A. Igarashi} and \textit{N. Kobayashi}, Theor. Comput. Sci. 311, No. 1--3, 121--163 (2004; Zbl 1070.68105) Full Text: DOI
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 PDFBibTeX XMLCite \textit{M. Hennessy} et al., Theor. Comput. Sci. 322, No. 3, 615--669 (2004; Zbl 1071.68009) Full Text: DOI
Chothia, Tom; Duggan, Dominic Abstractions for fault-tolerant global computing. (English) Zbl 1071.68010 Theor. Comput. Sci. 322, No. 3, 567-613 (2004). MSC: 68M15 68Q85 68M10 PDFBibTeX XMLCite \textit{T. Chothia} and \textit{D. Duggan}, Theor. Comput. Sci. 322, No. 3, 567--613 (2004; Zbl 1071.68010) Full Text: DOI
Jeffrey, Alan; Rathke, Julian A theory of bisimulation for a fragment of concurrent ML with local names. (English) Zbl 1105.68354 Theor. Comput. Sci. 323, No. 1-3, 1-48 (2004). MSC: 68Q85 PDFBibTeX XMLCite \textit{A. Jeffrey} and \textit{J. Rathke}, Theor. Comput. Sci. 323, No. 1--3, 1--48 (2004; Zbl 1105.68354) Full Text: DOI
Fu, Yuxi; Yang, Zhenrong Tau laws for pi calculus. (English) Zbl 1071.68075 Theor. Comput. Sci. 308, No. 1-3, 55-130 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{Y. Fu} and \textit{Z. Yang}, Theor. Comput. Sci. 308, No. 1--3, 55--130 (2003; Zbl 1071.68075) Full Text: DOI
Gordon, Andrew D.; Jeffrey, Alan Typing correspondence assertions for communication protocols. (English) Zbl 1023.68006 Theor. Comput. Sci. 300, No. 1-3, 379-409 (2003). MSC: 68M12 68P25 PDFBibTeX XMLCite \textit{A. D. Gordon} and \textit{A. Jeffrey}, Theor. Comput. Sci. 300, No. 1--3, 379--409 (2003; Zbl 1023.68006) Full Text: DOI
Busi, Nadia; Zavattaro, Gianluigi Expired data collection in shared dataspaces. (English) Zbl 1038.68037 Theor. Comput. Sci. 298, No. 3, 529-556 (2003). MSC: 68P05 PDFBibTeX XMLCite \textit{N. Busi} and \textit{G. Zavattaro}, Theor. Comput. Sci. 298, No. 3, 529--556 (2003; Zbl 1038.68037) Full Text: DOI
Abadi, Martín; Blanchet, Bruno Secrecy types for asymmetric communication. (English) Zbl 1038.68081 Theor. Comput. Sci. 298, No. 3, 387-415 (2003). MSC: 68Q85 68P25 PDFBibTeX XMLCite \textit{M. Abadi} and \textit{B. Blanchet}, Theor. Comput. Sci. 298, No. 3, 387--415 (2003; Zbl 1038.68081) Full Text: DOI
Fu, Yuxi; Yang, Zhenrong Understanding the mismatch combinator in chi calculus. (English) Zbl 1019.68067 Theor. Comput. Sci. 290, No. 1, 779-830 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{Y. Fu} and \textit{Z. Yang}, Theor. Comput. Sci. 290, No. 1, 779--830 (2003; Zbl 1019.68067) Full Text: DOI
Viry, Patrick Equational rules for rewriting logic. (English) Zbl 1001.68058 Theor. Comput. Sci. 285, No. 2, 487-517 (2002). MSC: 68Q42 PDFBibTeX XMLCite \textit{P. Viry}, Theor. Comput. Sci. 285, No. 2, 487--517 (2002; Zbl 1001.68058) Full Text: DOI
Power, John Premonoidal categories as categories with algebraic structure. (English) Zbl 1002.68089 Theor. Comput. Sci. 278, No. 1-2, 303-321 (2002). MSC: 68Q55 18B20 PDFBibTeX XMLCite \textit{J. Power}, Theor. Comput. Sci. 278, No. 1--2, 303--321 (2002; Zbl 1002.68089) Full Text: DOI
Bruni, Roberto; Montanari, Ugo Dynamic connectors for concurrency. (English) Zbl 0996.68073 Theor. Comput. Sci. 281, No. 1-2, 131-176 (2002). MSC: 68Q42 68Q55 PDFBibTeX XMLCite \textit{R. Bruni} and \textit{U. Montanari}, Theor. Comput. Sci. 281, No. 1--2, 131--176 (2002; Zbl 0996.68073) Full Text: DOI
Boudol, Gérard; Castellani, Ilaria Noninterference for concurrent programs and thread systems. (English) Zbl 0997.68022 Theor. Comput. Sci. 281, No. 1-2, 109-130 (2002). MSC: 68N19 PDFBibTeX XMLCite \textit{G. Boudol} and \textit{I. Castellani}, Theor. Comput. Sci. 281, No. 1--2, 109--130 (2002; Zbl 0997.68022) Full Text: DOI
Yoshida, Nobuko Minimality and separation results on asynchronous mobile processes – representability theorems by concurrent combinators. (English) Zbl 0992.68151 Theor. Comput. Sci. 274, No. 1-2, 231-276 (2002). MSC: 68Q85 03B40 PDFBibTeX XMLCite \textit{N. Yoshida}, Theor. Comput. Sci. 274, No. 1--2, 231--276 (2002; Zbl 0992.68151) Full Text: DOI
Sewell, Peter From rewrite rules to bisimulation congruences. (English) Zbl 0992.68122 Theor. Comput. Sci. 274, No. 1-2, 183-230 (2002). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{P. Sewell}, Theor. Comput. Sci. 274, No. 1--2, 183--230 (2002; Zbl 0992.68122) Full Text: DOI
Fournet, C.; Laneve, C. Bisimulations in the join-calculus. (English) Zbl 0989.68098 Theor. Comput. Sci. 266, No. 1-2, 569-603 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{C. Fournet} and \textit{C. Laneve}, Theor. Comput. Sci. 266, No. 1--2, 569--603 (2001; Zbl 0989.68098) Full Text: DOI
Sangiorgi, D. Asynchronous process calculi: The first- and higher-order paradigms. (English) Zbl 0956.68081 Theor. Comput. Sci. 253, No. 2, 311-350 (2001). MSC: 68Q55 PDFBibTeX XMLCite \textit{D. Sangiorgi}, Theor. Comput. Sci. 253, No. 2, 311--350 (2001; Zbl 0956.68081) Full Text: DOI
Honda, Kohei; Yoshida, Nobuko Game-theoretic analysis of call-by-value computation. (English) Zbl 0930.68061 Theor. Comput. Sci. 221, No. 1-2, 393-456 (1999). MSC: 68Q10 PDFBibTeX XMLCite \textit{K. Honda} and \textit{N. Yoshida}, Theor. Comput. Sci. 221, No. 1--2, 393--456 (1999; Zbl 0930.68061) Full Text: DOI
Fu, Yuxi Variations on mobile processes. (English) Zbl 0930.68062 Theor. Comput. Sci. 221, No. 1-2, 327-368 (1999). MSC: 68Q10 68Q85 PDFBibTeX XMLCite \textit{Y. Fu}, Theor. Comput. Sci. 221, No. 1--2, 327--368 (1999; Zbl 0930.68062) Full Text: DOI
Amadio, Roberto M.; Castellani, Ilaria; Sangiorgi, Davide On bisimulations for the asynchronous \(\pi\)-calculus. (English) Zbl 0915.68009 Theor. Comput. Sci. 195, No. 2, 291-324 (1998). MSC: 68M10 PDFBibTeX XMLCite \textit{R. M. Amadio} et al., Theor. Comput. Sci. 195, No. 2, 291--324 (1998; Zbl 0915.68009) Full Text: DOI
Pitts, Andrew M.; Ross, Joshua R. X. Process calculus based upon evaluation to committed form. (English) Zbl 0915.68113 Theor. Comput. Sci. 195, No. 2, 155-182 (1998). MSC: 68Q55 PDFBibTeX XMLCite \textit{A. M. Pitts} and \textit{J. R. X. Ross}, Theor. Comput. Sci. 195, No. 2, 155--182 (1998; Zbl 0915.68113) Full Text: DOI
Honda, Kohei; Yoshida, Nobuko On reduction-based process semantics. (English) Zbl 0871.68122 Theor. Comput. Sci. 151, No. 2, 437-486 (1995). MSC: 68Q55 PDFBibTeX XMLCite \textit{K. Honda} and \textit{N. Yoshida}, Theor. Comput. Sci. 151, No. 2, 437--486 (1995; Zbl 0871.68122) Full Text: DOI