Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Hofmann, Martin
and
Pierce, Benjamin
1995.
A unifying type-theoretic framework for objects.
Journal of Functional Programming,
Vol. 5,
Issue. 4,
p.
593.
Gogolla, Martin
and
Herzig, Rudolf
1995.
Recent Trends in Data Type Specification.
Vol. 906,
Issue. ,
p.
290.
Jacobs, Bart
1995.
Algebraic Methodology and Software Technology.
Vol. 936,
Issue. ,
p.
245.
Meseguer, José
and
Marti-Oliet, Narciso
1995.
Recent Trends in Data Type Specification.
Vol. 906,
Issue. ,
p.
48.
Meseguer, José
1996.
CONCUR '96: Concurrency Theory.
Vol. 1119,
Issue. ,
p.
331.
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.
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.
Hensel, Ulrich
and
Spooner, David
1996.
Recent Trends in Data Type Specification.
Vol. 1130,
Issue. ,
p.
237.
Jacobs, Bart
1996.
Object Orientation with Parallelism and Persistence.
Vol. 370,
Issue. ,
p.
83.
Malcolm, Grant
1996.
Recent Trends in Data Type Specification.
Vol. 1130,
Issue. ,
p.
359.
Heckel, Reiko
Ehrig, Hartmut
Wolter, Uwe
and
Corradini, Andrea
1997.
Mathematical Foundations of Computer Science 1997.
Vol. 1295,
Issue. ,
p.
219.
Jacobs, Bart
1997.
TAPSOFT '97: Theory and Practice of Software Development.
Vol. 1214,
Issue. ,
p.
787.
Jacobs, Bart
1997.
Algebraic Methodology and Software Technology.
Vol. 1349,
Issue. ,
p.
276.
Jacobs, Bart
van den Berg, Joachim
Huisman, Marieke
van Berkum, Martijn
Hensel, U.
and
Tews, H.
1998.
Reasoning about Java classes.
p.
329.
Padawitz, Peter
1998.
Recent Trends in Algebraic Development Techniques.
Vol. 1376,
Issue. ,
p.
365.
Hermida, Claudio
and
Jacobs, Bart
1998.
Structural Induction and Coinduction in a Fibrational Setting.
Information and Computation,
Vol. 145,
Issue. 2,
p.
107.
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.
Jacobs, Bart
1998.
Coalgebraic Reasoning about Classes in Object-Oriented Languages.
Electronic Notes in Theoretical Computer Science,
Vol. 11,
Issue. ,
p.
231.
Schamschurko, Dmitri
1998.
Modeling Process Calculi with PVS.
Electronic Notes in Theoretical Computer Science,
Vol. 11,
Issue. ,
p.
194.