Document Search Results

Safe session-based concurrency with shared linear state. (English) Zbl 1541.68090

Wies, Thomas (ed.), Programming languages and systems. 32nd European symposium on programming, ESOP 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13990, 421-450 (2023).

MSC: 68N18 03B70 68Q10 68Q85

Cite Review PDF

Full Text: DOI

OA License

Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide

Eager functions as processes. (English) Zbl 1483.68226

Theor. Comput. Sci. 913, 8-42 (2022).

MSC: 68Q85 03B40

Cite Review PDF

Full Text: DOI HAL

Shoshi, Tsubasa; Ishikawa, Takuma; Kobayashi, Naoki; Sakayori, Ken; Sato, Ryosuke; Tsukada, Takeshi

Termination analysis for the \(\pi \)-calculus by reduction to sequential program termination. (English) Zbl 1520.68098

Oh, Hakjoo (ed.), Programming languages and systems. 19th Asian symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13008, 265-284 (2021).

MSC: 68Q85

Cite Review PDF

Full Text: DOI arXiv

Bono, Viviana; Dezani-Ciancaglini, Mariangiola

A tale of intersection types. (English) Zbl 1498.03040

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 7-20 (2020).

MSC: 03B40 68N18

Cite Review PDF

Full Text: DOI Link

Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko

On the relative expressiveness of higher-order session processes. (English) Zbl 1430.68163

Inf. Comput. 268, Article ID 104433, 54 p. (2019).

MSC: 68Q85

Cite Review PDF

Full Text: DOI Link

Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide

Divergence and unique solution of equations. (English) Zbl 1442.68134

Log. Methods Comput. Sci. 15, No. 3, Paper No. 12, 34 p. (2019).

MSC: 68Q85 68Q55

Cite Review PDF

Full Text: arXiv

Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide

Eager functions as processes. (English) Zbl 1452.03044

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 364-373 (2018).

MSC: 03B40

Cite Review PDF

Full Text: DOI arXiv HAL

Mazza, Damiano

The true concurrency of differential interaction nets. (English) Zbl 1398.68370

Math. Struct. Comput. Sci. 28, No. 7, 1097-1125 (2018).

MSC: 68Q85

Cite Review PDF

Full Text: DOI

Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide

Divergence and unique solution of equations. (English) Zbl 1442.68135

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 11, 16 p. (2017).

MSC: 68Q85 68Q55

Cite Review PDF

Full Text: DOI

Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko

Characteristic bisimulation for higher-order session processes. (English) Zbl 1380.68297

Acta Inf. 54, No. 3, 271-341 (2017).

Reviewer: Tiit Riismaa (Tallinn)

MSC: 68Q85

Cite Review PDF

Full Text: DOI

OA License

Cristescu, Ioana; Hirschkoff, Daniel

Termination in a \(\pi\)-calculus with subtyping. (English) Zbl 1362.68207

Math. Struct. Comput. Sci. 26, No. 8, 1395-1432 (2016).

MSC: 68Q85 03B40

Cite Review PDF

Full Text: DOI

Orchard, Dominic; Yoshida, Nobuko

Effects as sessions, sessions as effects. (English) Zbl 1347.68055

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 568-581 (2016).

MSC: 68N18 03B40 68Q85

Cite Review PDF

Full Text: DOI Link

Atkey, Robert; Lindley, Sam; Morris, J. Garrett

Conflation confers concurrency. (English) Zbl 1343.68159

Lindley, Sam (ed.) et al., A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-30935-4/pbk; 978-3-319-30936-1/ebook). Lecture Notes in Computer Science 9600, 32-55 (2016).

MSC: 68Q85 03F52 68N19

Cite Review PDF

Full Text: DOI Link

Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko

On the relative expressiveness of higher-order session processes. (English) Zbl 1335.68174

Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 446-475 (2016).

MSC: 68Q85

Cite Review PDF

Full Text: DOI Link

Toninho, Bernardo; Caires, Luis; Pfenning, Frank

Corecursion and non-divergence in session-typed processes. (English) Zbl 1444.68124

Maffei, Matteo (ed.) et al., Trustworthy global computing. 9th international symposium, TGC 2014, Rome, Italy, September 5–6, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8902, 159-175 (2014).

MSC: 68Q85 03B70

Cite Review PDF

Full Text: DOI

Pérez, Jorge A.; Caires, Luís; Pfenning, Frank; Toninho, Bernardo

Linear logical relations and observational equivalences for session-based concurrency. (English) Zbl 1309.68141

Inf. Comput. 239, 254-302 (2014).

MSC: 68Q85 03F52

Cite Review PDF

Full Text: DOI

Ouaknine, Joël; Palikareva, Hristina; Roscoe, A. W.; Worrell, James

Static livelock analysis in CSP. (English) Zbl 1300.68036

Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 389-403 (2011).

MSC: 68Q85

Cite Review PDF

Full Text: DOI Link

Demangeon, Romain; Honda, Kohei

Full abstraction in a subtyped pi-calculus with linear types. (English) Zbl 1343.68165

Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 280-296 (2011).

MSC: 68Q85

Cite Review PDF

Full Text: DOI

Brogi, Antonio

On the potential advantages of exploiting behavioural information for contract-based service discovery and composition. (English) Zbl 1209.68133

J. Log. Algebr. Program. 80, No. 1, 3-12 (2011).

MSC: 68N99

Cite Review PDF

Full Text: DOI

Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide

Termination in higher-order concurrent calculi. (English) Zbl 1205.68241

J. Log. Algebr. Program. 79, No. 7, 550-577 (2010).

MSC: 68Q85

Cite Review PDF

Full Text: DOI

Boudol, Gérard

Typing termination in a higher-order concurrent imperative language. (English) Zbl 1213.68159

Inf. Comput. 208, No. 6, 716-736 (2010).

MSC: 68N15 68N18

Cite Review PDF

Full Text: DOI

Ehrhard, Thomas; Laurent, Olivier

Interpreting a finitary pi-calculus in differential interaction nets. (English) Zbl 1205.68242

Inf. Comput. 208, No. 6, 606-633 (2010).

MSC: 68Q85

Cite Review PDF

Full Text: DOI HAL

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

Cite Review PDF

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

Cite Review PDF

Full Text: DOI

Demangeon, Romain; Hirschkoff, Daniel; Sangiorgi, Davide

Mobile processes and termination. (English) Zbl 1253.68239

Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 250-273 (2009).

MSC: 68Q85 68Q42

Cite Review PDF

Full Text: DOI

van Bakel, Steffen; Vigliotti, Maria Grazia

A logical interpretation of the \(\lambda \)-calculus into the \(\pi \)-calculus, preserving spine reduction and types. (English) Zbl 1254.03021

Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 84-98 (2009).

MSC: 03B40 68Q85

Cite Review PDF

Full Text: DOI

Faggian, Claudia; Piccolo, Mauro

Partial orders, event structures and linear strategies. (English) Zbl 1246.03078

Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 95-111 (2009).

MSC: 03F52

Cite Review PDF

Full Text: DOI

Paolini, Luca; Piccolo, Mauro

A process-model for linear programs. (English) Zbl 1246.68096

Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 289-305 (2009).

MSC: 68N30 68Q85

Cite Review PDF

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

Cite Review PDF

Full Text: DOI

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

Cite Review PDF

Full Text: DOI

Varacca, Daniele; Yoshida, Nobuko

Probabilistic \(\pi\)-calculus and event structures. (English) Zbl 1279.68269

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, 147-166 (2007).

MSC: 68Q85 68Q55 68Q87

Cite Review PDF

Full Text: DOI

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

Cite Review PDF

Full Text: DOI

Yoshida, Nobuko; Honda, Kohei; Berger, Martin

Linearity and bisimulation. (English) Zbl 1119.68131

J. Log. Algebr. Program. 72, No. 2, 207-238 (2007).

MSC: 68Q85

Cite Review PDF

Full Text: DOI

Yoshida, Nobuko

Type-based security for mobile computing integrity, secrecy and liveness. (English) Zbl 1316.68110

Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 333-340 (2006).

MSC: 68Q85 68N15 68N19

Cite Review PDF

Full Text: DOI

Deng, Yuxin; Sangiorgi, Davide

Ensuring termination by typability. (English) Zbl 1110.68084

Inf. Comput. 204, No. 7, 1045-1082 (2006).

MSC: 68Q85 68Q42

Cite Review PDF

Full Text: DOI

Berger, Martin; Honda, Kohei; Yoshida, Nobuko

Genericity and the \(\pi\)-calculus. (English) Zbl 1079.68064

Acta Inf. 42, No. 2-3, 83-141 (2005).

MSC: 68Q85

Cite Review PDF

Full Text: DOI

Honda, Kohei

From process logic to program logic. (English) Zbl 1323.03034

Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 163-174 (2004).

MSC: 03B70 68N18 68Q60 68Q85

Cite Review PDF

Full Text: DOI

Kobayashi, Naoki

A type system for lock-free processes. (English) Zbl 1093.68065

Inf. Comput. 177, No. 2, 122-159 (2002).

MSC: 68Q85

Cite Review PDF

Full Text: DOI Link

Found 38 Documents (Results 1–38)

Safe session-based concurrency with shared linear state. (English) Zbl 1541.68090

Eager functions as processes. (English) Zbl 1483.68226

Termination analysis for the \(\pi \)-calculus by reduction to sequential program termination. (English) Zbl 1520.68098

A tale of intersection types. (English) Zbl 1498.03040

On the relative expressiveness of higher-order session processes. (English) Zbl 1430.68163

Divergence and unique solution of equations. (English) Zbl 1442.68134

Eager functions as processes. (English) Zbl 1452.03044

The true concurrency of differential interaction nets. (English) Zbl 1398.68370

Divergence and unique solution of equations. (English) Zbl 1442.68135

Characteristic bisimulation for higher-order session processes. (English) Zbl 1380.68297

Termination in a \(\pi\)-calculus with subtyping. (English) Zbl 1362.68207

Effects as sessions, sessions as effects. (English) Zbl 1347.68055

Conflation confers concurrency. (English) Zbl 1343.68159

On the relative expressiveness of higher-order session processes. (English) Zbl 1335.68174

Corecursion and non-divergence in session-typed processes. (English) Zbl 1444.68124

Linear logical relations and observational equivalences for session-based concurrency. (English) Zbl 1309.68141

Static livelock analysis in CSP. (English) Zbl 1300.68036

Full abstraction in a subtyped pi-calculus with linear types. (English) Zbl 1343.68165

On the potential advantages of exploiting behavioural information for contract-based service discovery and composition. (English) Zbl 1209.68133

Termination in higher-order concurrent calculi. (English) Zbl 1205.68241

Typing termination in a higher-order concurrent imperative language. (English) Zbl 1213.68159

Interpreting a finitary pi-calculus in differential interaction nets. (English) Zbl 1205.68242

An exact correspondence between a typed pi-calculus and polarised proof-nets. (English) Zbl 1203.68114

Typed event structures and the linear \(\pi \)-calculus. (English) Zbl 1200.68165

Mobile processes and termination. (English) Zbl 1253.68239

A logical interpretation of the \(\lambda \)-calculus into the \(\pi \)-calculus, preserving spine reduction and types. (English) Zbl 1254.03021

Partial orders, event structures and linear strategies. (English) Zbl 1246.03078

A process-model for linear programs. (English) Zbl 1246.68096

Responsiveness in process calculi. (English) Zbl 1157.68050

Behavioural equivalences for dynamic web data. (English) Zbl 1135.68005

Probabilistic \(\pi\)-calculus and event structures. (English) Zbl 1279.68269

Formalising Java RMI with explicit code mobility. (English) Zbl 1132.68020

Linearity and bisimulation. (English) Zbl 1119.68131

Type-based security for mobile computing integrity, secrecy and liveness. (English) Zbl 1316.68110

Ensuring termination by typability. (English) Zbl 1110.68084

Genericity and the \(\pi\)-calculus. (English) Zbl 1079.68064

From process logic to program logic. (English) Zbl 1323.03034

A type system for lock-free processes. (English) Zbl 1093.68065

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software