Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Gogolla, Martin
and
Herzig, Rudolf
1995.
Recent Trends in Data Type Specification.
Vol. 906,
Issue. ,
p.
290.
Meseguer, José
and
Marti-Oliet, Narciso
1995.
Recent Trends in Data Type Specification.
Vol. 906,
Issue. ,
p.
48.
Hofmann, Martin
and
Pierce, Benjamin
1995.
A unifying type-theoretic framework for objects.
Journal of Functional Programming,
Vol. 5,
Issue. 4,
p.
593.
Jacobs, Bart
1995.
Algebraic Methodology and Software Technology.
Vol. 936,
Issue. ,
p.
245.
Meseguer, José
1996.
CONCUR '96: Concurrency Theory.
Vol. 1119,
Issue. ,
p.
331.
Lechner, Ulrike
1996.
Object-Oriented Specifications of Distributed Systems in the μ-Calculus and Maude.
Electronic Notes in Theoretical Computer Science,
Vol. 4,
Issue. ,
p.
385.
Malcolm, Grant
1996.
Recent Trends in Data Type Specification.
Vol. 1130,
Issue. ,
p.
359.
Jacobs, Bart
1996.
Object Orientation with Parallelism and Persistence.
Vol. 370,
Issue. ,
p.
83.
Hensel, Ulrich
and
Spooner, David
1996.
Recent Trends in Data Type Specification.
Vol. 1130,
Issue. ,
p.
237.
Jacobs, Bart
1996.
Algebraic Methodology and Software Technology.
Vol. 1101,
Issue. ,
p.
520.
Jacobs, Bart
1996.
ECOOP ’96 — Object-Oriented Programming.
Vol. 1098,
Issue. ,
p.
210.
Heckel, Reiko
Ehrig, Hartmut
Wolter, Uwe
and
Corradini, Andrea
1997.
Mathematical Foundations of Computer Science 1997.
Vol. 1295,
Issue. ,
p.
219.
Jacobs, Bart
1997.
Algebraic Methodology and Software Technology.
Vol. 1349,
Issue. ,
p.
276.
Jacobs, Bart
1997.
TAPSOFT '97: Theory and Practice of Software Development.
Vol. 1214,
Issue. ,
p.
787.
Jacobs, Bart
van den Berg, Joachim
Huisman, Marieke
van Berkum, Martijn
Hensel, U.
and
Tews, H.
1998.
Reasoning about Java classes.
p.
329.
Schamschurko, Dmitri
1998.
Modeling Process Calculi with PVS.
Electronic Notes in Theoretical Computer Science,
Vol. 11,
Issue. ,
p.
194.
Hennicker, Rolf
and
Bidoit, Michel
1998.
Algebraic Methodology and Software Technology.
Vol. 1548,
Issue. ,
p.
263.
Jacobs, Bart
van den Berg, Joachim
Huisman, Marieke
van Berkum, Martijn
Hensel, U.
and
Tews, H.
1998.
Reasoning about Java classes.
ACM SIGPLAN Notices,
Vol. 33,
Issue. 10,
p.
329.
Padawitz, Peter
1998.
Recent Trends in Algebraic Development Techniques.
Vol. 1376,
Issue. ,
p.
365.
Corradini, Andrea
1998.
Recent Trends in Algebraic Development Techniques.
Vol. 1376,
Issue. ,
p.
190.