Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Bellin, G.
and
Scott, P.J.
1994.
On the π-calculus and linear logic.
Theoretical Computer Science,
Vol. 135,
Issue. 1,
p.
11.
Abadi, Martín
and
Lamport, Leslie
1995.
Conjoining specifications.
ACM Transactions on Programming Languages and Systems,
Vol. 17,
Issue. 3,
p.
507.
Lamarche, François
1996.
From Proof Nets to Games.
Electronic Notes in Theoretical Computer Science,
Vol. 3,
Issue. ,
p.
107.
Reddy, Uday S.
1996.
Global state considered unnecessary: An introduction to object-based semantics.
Lisp and Symbolic Computation,
Vol. 9,
Issue. 1,
p.
7.
Ehrhard, Thomas
1996.
Projecting sequential algorithms on strongly stable functions.
Annals of Pure and Applied Logic,
Vol. 77,
Issue. 3,
p.
201.
Stirling, Colin
1996.
Tools and Algorithms for the Construction and Analysis of Systems.
Vol. 1055,
Issue. ,
p.
298.
Abramsky, Samson
Gay, Simon
and
Nagarajan, Rajagopal
1996.
Logics for Concurrency.
Vol. 1043,
Issue. ,
p.
5.
Pratt, Vaughan
1996.
Broadening the denotational semantics of linear logic.
Electronic Notes in Theoretical Computer Science,
Vol. 3,
Issue. ,
p.
155.
Blute, R.F.
and
Scott, P.J.
1996.
A Noncommutative Full Completeness Theorem.
Electronic Notes in Theoretical Computer Science,
Vol. 3,
Issue. ,
p.
28.
Abramsky, Samson
Gay, Simon
and
Nagarajan, Rajagopal
1996.
Deductive Program Design.
p.
35.
Abramsky, Samson
1996.
CONCUR '96: Concurrency Theory.
Vol. 1119,
Issue. ,
p.
1.
Blute, R.F.
and
Scott, P.J.
1996.
Linear Läuchli semantics.
Annals of Pure and Applied Logic,
Vol. 77,
Issue. 2,
p.
101.
Lincoln, Patrick D.
Mitchell, John C.
and
Scedrov, Andre
1996.
The Complexity of Local Proof Search in Linear Logic.
Electronic Notes in Theoretical Computer Science,
Vol. 3,
Issue. ,
p.
120.
McCusker, Guy
1997.
Games and Definability For FPC.
Bulletin of Symbolic Logic,
Vol. 3,
Issue. 3,
p.
347.
Kanovich, M.
and
Ito, T.
1997.
Temporal linear logic specifications for concurrent processes.
p.
48.
Hu, Hongde
and
Joyal, André
1997.
Coherence Completions of Categories and Their Enriched Softness.
Electronic Notes in Theoretical Computer Science,
Vol. 6,
Issue. ,
p.
174.
Reddy, Uday S.
1997.
Algol-like Languages.
p.
227.
Joyal, A.
1997.
Logic and Scientific Methods.
p.
29.
Japaridze, Giorgi
1997.
A constructive game semantics for the language of linear logic.
Annals of Pure and Applied Logic,
Vol. 85,
Issue. 2,
p.
87.
Pratt, Vaughan R.
1997.
Types as Processes, via Chu spaces.
Electronic Notes in Theoretical Computer Science,
Vol. 7,
Issue. ,
p.
227.