-
1
-
-
0027574302
-
Computational interpretations of linear logic
-
Abramsky, S. (1993) Computational interpretations of linear logic. Theor. Comput. Sci. 111(1 & 2), 3-57.
-
(1993)
Theor. Comput. Sci.
, vol.111
, Issue.1-2
, pp. 3-57
-
-
Abramsky, S.1
-
2
-
-
0028766104
-
Proofs as processes
-
Abramsky, S. (1994) Proofs as processes. Theor. Comput. Sci. 135(1), 5-9.
-
(1994)
Theor. Comput. Sci.
, vol.135
, Issue.1
, pp. 5-9
-
-
Abramsky, S.1
-
3
-
-
0000061427
-
Interaction categories and the foundations of typed concurrent programming
-
Abramsky, S., Gay, S. J. & Nagarajan, R. (1996) Interaction categories and the foundations of typed concurrent programming. In Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School, NATO ASI Series F, pp. 35-113.
-
(1996)
Deductive Program Design: Proceedings of the 1994 Marktoberdorf Summer School, NATO ASI Series F
, pp. 35-113
-
-
Abramsky, S.1
Gay, S.J.2
Nagarajan, R.3
-
4
-
-
0028766061
-
On the pi-calculus and linear logic
-
Bellin, G. & Scott, P. J. (1994) On the pi-calculus and linear logic. Theor. Comput. Sci. 135(1), 11-65.
-
(1994)
Theor. Comput. Sci.
, vol.135
, Issue.1
, pp. 11-65
-
-
Bellin, G.1
Scott, P.J.2
-
6
-
-
28844437976
-
Genericity and the pi-calculus
-
Berger, M., Honda, K. & Yoshida, N. (2005) Genericity and the pi-calculus. Acta Inform. 42(2-3), 83-141.
-
(2005)
Acta Inform
, vol.42
, Issue.2-3
, pp. 83-141
-
-
Berger, M.1
Honda, K.2
Yoshida, N.3
-
7
-
-
84874399250
-
Behavioral polymorphism and parametricity in session-based communication
-
Berlin, Germany: Springer
-
Caires, L., Pérez, J. A., Pfenning, F. & Toninho, B. (2013) Behavioral polymorphism and parametricity in session-based communication. In European Symposium on Programming (ESOP), Lecture Notes in Computer Science, vol. 7792. Berlin, Germany: Springer, pp. 330-349.
-
(2013)
European Symposium on Programming (ESOP), Lecture Notes in Computer Science
, vol.7792
, pp. 330-349
-
-
Caires, L.1
Pérez, J.A.2
Pfenning, F.3
Toninho, B.4
-
11
-
-
84977520743
-
A graphical approach to progress for structured communication in web services
-
Carbone, M. & Debois, S. (2010) A graphical approach to progress for structured communication in web services. In Interaction and Concurrency Experience (ICE), pp. 13-27.
-
(2010)
Interaction and Concurrency Experience (ICE
, pp. 13-27
-
-
Carbone, M.1
Debois, S.2
-
12
-
-
34748826163
-
Language support for fast and reliable message-based communication in singularity OS
-
DOI 10.1145/1217935.1217953, 1217953, Proceedings of the 2006 EuroSys Conference
-
Fahndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G. C., Larus, J. R. & Levi, S. (2006) Language support for fast and reliable message-based communication in singularity OS. In European Conference on Computer Systems (EuroSys), pp. 177-190. (Pubitemid 47485746)
-
(2006)
Proceedings of the 2006 EuroSys Conference
, pp. 177-190
-
-
Fahndrich, M.1
Aiken, M.2
Hawblitzel, C.3
Hodson, O.4
Hunt, G.5
Larus, J.R.6
Levi, S.7
-
14
-
-
28844438936
-
Subtyping for session types in the pi calculus
-
Gay, S. J. & Hole, M. (2005) Subtyping for session types in the pi calculus. Acta Inform., 42(2-3), 191-225.
-
(2005)
Acta Inform
, vol.42
, Issue.2-3
, pp. 191-225
-
-
Gay, S.J.1
Hole, M.2
-
15
-
-
77951136536
-
Linear type theory for asynchronous session types
-
Gay, S. J. & Vasconcelos, V. T. (2010) Linear type theory for asynchronous session types. J. Funct. Program. 20(1), 19-50.
-
(2010)
J. Funct. Program.
, vol.20
, Issue.1
, pp. 19-50
-
-
Gay, S.J.1
Vasconcelos, V.T.2
-
17
-
-
84976163878
-
A new constructive logic: Classical logic
-
Girard, J.-Y. (1991) A new constructive logic: Classical logic. Math. Struct. Comput. Sci. 1(3), 255- 296.
-
(1991)
Math. Struct. Comput. Sci.
, vol.1
, Issue.3
, pp. 255-296
-
-
Girard, J.-Y.1
-
18
-
-
0003432047
-
-
Cambridge Tracts in Theoretical Computer Science. Cambridge, UK: Cambridge University Press
-
Girard, J.-Y., Lafont, Y. & Taylor, P. (1989) Proofs and Types, Cambridge Tracts in Theoretical Computer Science, vol. 7. Cambridge, UK: Cambridge University Press.
-
(1989)
Proofs and Types
, vol.7
-
-
Girard, J.-Y.1
Lafont, Y.2
Taylor, P.3
-
19
-
-
24944520912
-
On the degeneracy of sigma-types in presence of computational classical logic
-
Herbelin, H. (2005) On the degeneracy of sigma-types in presence of computational classical logic. In Typed Lambda Calculi and Applications (TLCA), pp. 209-220.
-
(2005)
Typed Lambda Calculi and Applications (TLCA)
, pp. 209-220
-
-
Herbelin, H.1
-
21
-
-
84947741770
-
Language primitives and type discipline for structured communication-based programming
-
Programming Languages and Systems
-
Honda, K., Vasconcelos, V. T. & Kubo, M. (1998) Language primitives and type discipline for structured communication-based programming. In European Symposium on Programming (ESOP), pp. 122-138. (Pubitemid 128054298
-
(1998)
LECTURE NOTES in COMPUTER SCIENCE
, Issue.1381
, pp. 122-138
-
-
Honda, K.1
Vasconcelos, V.T.2
Kubo, M.3
-
23
-
-
33750920813
-
Type systems for concurrent programs
-
Berlin, Germany: Springer-Verlag
-
Kobayashi, N. (2002) Type systems for concurrent programs. In Proceedings of the 10th Anniversary Colloquium of UNU/IIST, LNCS, vol. 2757. Berlin, Germany: Springer-Verlag, pp. 439-453.
-
(2002)
Proceedings of the 10th Anniversary Colloquium of UNU/IIST, LNCS
, vol.2757
, pp. 439-453
-
-
Kobayashi, N.1
-
24
-
-
0029706996
-
Linearity and the pi-calculus
-
St. Petersburg Beach, FL
-
Kobayashi, N., Pierce, B. C. & Turner, D. N. (1996) Linearity and the pi-calculus. In Principles of Programming Languages Symposium (POPL 1996), St. Petersburg Beach, FL, pp. 358-371.
-
(1996)
Principles of Programming Languages Symposium (POPL1996)
, pp. 358-371
-
-
Kobayashi, N.1
Pierce, B.C.2
Turner, D.N.3
-
26
-
-
84958760366
-
Higher-order concurrent linear logic programming
-
Berlin, Germany: Springer-Verlag
-
Kobayashi, N. & Yonezawa, A. (1994) Higher-order concurrent linear logic programming. In Theory and Practice of Parallel Programming, LNCS, vol. 907. Berlin, Germany: Springer-Verlag, pp. 137-166.
-
(1994)
Theory and Practice of Parallel Programming, LNCS
, vol.907
, pp. 137-166
-
-
Kobayashi, N.1
Yonezawa, A.2
-
27
-
-
0000508353
-
Asynchronous communication model based on linear logic
-
Kobayashi, N. & Yonezawa, A. (1995) Asynchronous communication model based on linear logic. Form. Asp. Comput. 7(2), 113-149.
-
(1995)
Form. Asp. Comput.
, vol.7
, Issue.2
, pp. 113-149
-
-
Kobayashi, N.1
Yonezawa, A.2
-
29
-
-
85022817949
-
On asynchrony in name-passing calculi
-
Merro, M. & Sangiorgi, D. (2004) On asynchrony in name-passing calculi. Math. Struct. Comput. Sci. 14(5), 715-767.
-
(2004)
Math. Struct. Comput. Sci.
, vol.14
, Issue.5
, pp. 715-767
-
-
Merro, M.1
Sangiorgi, D.2
-
30
-
-
84913004277
-
The pi-calculus as a theory in linear logic: Preliminary results
-
Berlin, Germany: Springer-Verlag
-
Miller, D. (1992) The pi-calculus as a theory in linear logic: Preliminary results. In Extensions to Logic Programming, LNCS, vol. 660. Berlin, Germany: Springer-Verlag, pp. 242-264.
-
(1992)
Extensions to Logic Programming, LNCS
, vol.660
, pp. 242-264
-
-
Miller, D.1
-
31
-
-
44049113210
-
-
Milner, R., Parrow, J. & Walker, D. (1992) A calculus of mobile processes, i. Inf. Comput. 100(1), 1-40.
-
(1992)
A Calculus of Mobile Processesi. Inf. Comput.
, vol.100
, Issue.1
, pp. 1-40
-
-
Milner, R.1
Parrow, J.2
Walker, D.3
-
32
-
-
84859134524
-
Linear logical relations for session-based concurrency
-
Pérez, J., Caires, L., Pfenning, F. & Toninho, B. (2012) Linear logical relations for session-based concurrency. In European Symposium on Programming (ESOP), pp. 539-558.
-
(2012)
European Symposium on Programming (ESOP)
, pp. 539-558
-
-
Pérez, J.1
Caires, L.2
Pfenning, F.3
Toninho, B.4
-
34
-
-
0000233772
-
Behavioral equivalence in the polymorphic pi-calculus
-
Pierce, B. C. & Sangiorgi, D. (2000) Behavioral equivalence in the polymorphic pi-calculus. J. ACM 47(3), 531-584.
-
(2000)
J. ACM
, vol.47
, Issue.3
, pp. 531-584
-
-
Pierce, B.C.1
Sangiorgi, D.2
-
35
-
-
0002464962
-
Pict: A programming language based on the pi-calculus
-
Plotkin, G. D., Stirling, C. and Tofte, M. (eds). Cambridge, MA: MIT Press. ISBN: 978-0-262-16188-6
-
Pierce, B. C. & Turner, D. N. (2000) Pict: A programming language based on the pi-calculus. In Proof, Language, and Interaction, Essays in Honour of Robin Milner, Plotkin, G. D., Stirling, C. and Tofte, M. (eds). Cambridge, MA: MIT Press, pp. 455-494. ISBN: 978-0-262-16188-6.
-
(2000)
Proof, Language, and Interaction, Essays in Honour of Robin Milner
, pp. 455-494
-
-
Pierce, B.C.1
Turner, D.N.2
-
36
-
-
79959321064
-
Structural recursion with locally scoped names
-
Pitts, A. M. (2011) Structural recursion with locally scoped names. J. Funct. Program. 21(3), 235- 286.
-
(2011)
J. Funct. Program
, vol.21
, Issue.3
, pp. 235-286
-
-
Pitts, A.M.1
-
38
-
-
85010894472
-
An interaction-based language and its typing system
-
Athens, Greece, Halatsis, C., Maritsas, D. G., Philokyprou, G. and Theodoridis, S. (eds), LNCS . Berlin, Germany: Springer-Verlag
-
Takeuchi, K., Honda, K. & Kubo, M. (1994) An interaction-based language and its typing system. In Proceedings of the 6th International PARLE Conference, Athens, Greece, Halatsis, C., Maritsas, D. G., Philokyprou, G. and Theodoridis, S. (eds), LNCS, vol. 817. Berlin, Germany: Springer- Verlag, pp. 398-413.
-
(1994)
Proceedings of the 6th International PARLE Conference
, vol.817
, pp. 398-413
-
-
Takeuchi, K.1
Honda, K.2
Kubo, M.3
-
40
-
-
84874414870
-
Higher-order processes, functions, and sessions: A monadic integration
-
New York, NY: Springer
-
Toninho, B., Caires. L. & Pfenning, F. (2013) Higher-order processes, functions, and sessions: A monadic integration. In 22nd European Symposium on Programming (ESOP'13), Lecture Notes in Computer Science, vol. 7792 . New York, NY: Springer, pp. 350-369.
-
(2013)
22nd European Symposium on Programming (ESOP'13), Lecture Notes in Computer Science
, vol.7792
, pp. 350-369
-
-
Toninho, B.1
Caires, L.2
Pfenning, F.3
-
42
-
-
84863332413
-
Sessions from types to programming languages
-
Vasconcelos, V. T. (2011) Sessions, from types to programming languages. Bull. Eur. Assoc. Theor. Comput. Sci. 103, 53-73.
-
Bull Eur Assoc Theor Comput Sci
, vol.103
, Issue.2011
, pp. 53-73
-
-
Vasconcelos, V.T.1
-
44
-
-
34250810712
-
Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-Order session communication
-
DOI 10.1016/j.entcs.2007.02.056, PII S1571066107004239
-
Yoshida, N. & Vasconcelos, V. T. (2007) Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication. Electron. Notes Theor. Comput. Sci. 171(4), 73-93. (Pubitemid 46977865
-
(2007)
Electronic Notes in Theoretical Computer Science
, vol.171
, Issue.4
, pp. 73-93
-
-
Yoshida, N.1
Vasconcelos, V.T.2
|