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.
Blute, R.F.
and
Scott, P.J.
1996.
Linear Läuchli semantics.
Annals of Pure and Applied Logic,
Vol. 77,
Issue. 2,
p.
101.
Abramsky, Samson
Gay, Simon
and
Nagarajan, Rajagopal
1996.
Logics for Concurrency.
Vol. 1043,
Issue. ,
p.
5.
Abramsky, Samson
Gay, Simon
and
Nagarajan, Rajagopal
1996.
Deductive Program Design.
p.
35.
Stirling, Colin
1996.
Tools and Algorithms for the Construction and Analysis of Systems.
Vol. 1055,
Issue. ,
p.
298.
Ehrhard, Thomas
1996.
Projecting sequential algorithms on strongly stable functions.
Annals of Pure and Applied Logic,
Vol. 77,
Issue. 3,
p.
201.
Blute, R.F.
and
Scott, P.J.
1996.
A Noncommutative Full Completeness Theorem.
Electronic Notes in Theoretical Computer Science,
Vol. 3,
Issue. ,
p.
28.
Pratt, Vaughan
1996.
Broadening the denotational semantics of linear logic.
Electronic Notes in Theoretical Computer Science,
Vol. 3,
Issue. ,
p.
155.
Abramsky, Samson
1996.
CONCUR '96: Concurrency Theory.
Vol. 1119,
Issue. ,
p.
1.
Reddy, Uday S.
1996.
Global state considered unnecessary: An introduction to object-based semantics.
Lisp and Symbolic Computation,
Vol. 9,
Issue. 1,
p.
7.
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.
Reddy, Uday S.
1997.
Algol-like Languages.
p.
227.
Joyal, A.
1997.
Logic and Scientific Methods.
p.
29.
Honda, Kohei
and
Yoshida, Nobuko
1997.
Automata, Languages and Programming.
Vol. 1256,
Issue. ,
p.
225.
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.
Pratt, Vaughan R.
1997.
Types as Processes, via Chu spaces.
Electronic Notes in Theoretical Computer Science,
Vol. 7,
Issue. ,
p.
227.
Kanovich, M.
and
Ito, T.
1997.
Temporal linear logic specifications for concurrent processes.
p.
48.
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.