Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Jones, C. B.
1993.
CONCUR'93.
Vol. 715,
Issue. ,
p.
158.
Boudol, Gérard
1993.
CONCUR'93.
Vol. 715,
Issue. ,
p.
1.
Engelfriet, Joost
1993.
CONCUR'93.
Vol. 715,
Issue. ,
p.
7.
Sangiorgi, Davide
1993.
TAPSOFT'93: Theory and Practice of Software Development.
Vol. 668,
Issue. ,
p.
151.
Pierce, B.
and
Sangiorgi, D.
1993.
Typing and subtyping for mobile processes.
p.
376.
Dam, Mads
1993.
CONCUR'93.
Vol. 715,
Issue. ,
p.
22.
Sangiorgi, Davide
1993.
CONCUR'93.
Vol. 715,
Issue. ,
p.
127.
Milner, Robin
1993.
Mathematical Foundations of Computer Science 1993.
Vol. 711,
Issue. ,
p.
105.
Parrow, Joachim
1994.
A Decade of Concurrency Reflections and Perspectives.
Vol. 803,
Issue. ,
p.
477.
Schulte, Christian
Smolka, Gert
and
Würtz, Jörg
1994.
Principles and Practice of Constraint Programming.
Vol. 874,
Issue. ,
p.
134.
Johnson, David E.
and
Moss, Lawrence S.
1994.
Grammar formalisms viewed as evolving algebras.
Linguistics and Philosophy,
Vol. 17,
Issue. 6,
p.
537.
Sangiorgi, Davide
1994.
Mathematical Foundations of Programming Semantics.
Vol. 802,
Issue. ,
p.
143.
Parrow, Joachim
and
Sangiorgi, Davide
1994.
A Decade of Concurrency Reflections and Perspectives.
Vol. 803,
Issue. ,
p.
509.
Smolka, Gert
1994.
Constraints in Computational Logics.
Vol. 845,
Issue. ,
p.
50.
Bakker, J. W.
and
Breugel, F.
1994.
Mathematical Foundations of Programming Semantics.
Vol. 802,
Issue. ,
p.
122.
Honda, Kohei
and
Yoshida, Nobuko
1994.
Theoretical Aspects of Computer Software.
Vol. 789,
Issue. ,
p.
786.
Sangiorgi, Davide
1994.
Theoretical Aspects of Computer Software.
Vol. 789,
Issue. ,
p.
405.
Boudol, Gérard
1994.
A Decade of Concurrency Reflections and Perspectives.
Vol. 803,
Issue. ,
p.
92.
Smolka, Gert
1995.
Computer Science Today.
Vol. 1000,
Issue. ,
p.
324.
Amadio, Roberto M.
Leth, Lone
and
Thomsen, Bent
1995.
Fundamentals of Computation Theory.
Vol. 965,
Issue. ,
p.
106.