Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Goguen, Joseph
1999.
Computation for Metaphors, Analogy, and Agents.
Vol. 1562,
Issue. ,
p.
242.
Bench-Capon, Trevor
and
Malcolm, Grant
1999.
Database and Expert Systems Applications.
Vol. 1677,
Issue. ,
p.
250.
Goguen, Joseph A.
Winkler, Timothy
Meseguer, José
Futatsugi, Kokichi
and
Jouannaud, Jean-Pierre
2000.
Software Engineering with OBJ.
Vol. 2,
Issue. ,
p.
3.
Buss, Samuel
and
Roşu, Grigore
2000.
Incompleteness of Behavioral Logics.
Electronic Notes in Theoretical Computer Science,
Vol. 33,
Issue. ,
p.
61.
Goguen, Joseph
and
Malcolm, Grant
2000.
A hidden agenda.
Theoretical Computer Science,
Vol. 245,
Issue. 1,
p.
55.
Goguen, Joseph
2000.
Hidden algebra and concurrent distributed software.
ACM SIGSOFT Software Engineering Notes,
Vol. 25,
Issue. 1,
p.
51.
Goguen, Joseph
Lin, Kai
and
Roşu, Grigore
2000.
Behavioral and Coinductive Rewriting (invited talk).
Electronic Notes in Theoretical Computer Science,
Vol. 36,
Issue. ,
p.
2.
Worrell, James
2000.
Coinduction for recursive data types: partial orders, metric spaces and Ω-categories..
Electronic Notes in Theoretical Computer Science,
Vol. 33,
Issue. ,
p.
337.
Goguen, J.
Lin, K.
and
Rosu, C.
2000.
Circular coinductive rewriting.
p.
123.
Padawitz, Peter
2000.
Swinging types=functions+relations+transition systems.
Theoretical Computer Science,
Vol. 243,
Issue. 1-2,
p.
93.
Goguen, Joseph
Lin, Kai
Roşu, Grigore
Mori, Akira
and
Warinschi, Bogdan
2000.
CAFE: An Industrial-Strength Algebraic Formal Method.
p.
61.
Goldblatt, Robert
2001.
What is the coalgebraic analogue of Birkhoff's variety theorem?.
Theoretical Computer Science,
Vol. 266,
Issue. 1-2,
p.
853.
Meseguer, José
and
Roşu, Grigore
2002.
Towards Behavioral Maude.
Electronic Notes in Theoretical Computer Science,
Vol. 65,
Issue. 1,
p.
197.
Rosu, Grigore
2002.
On implementing behavioral rewriting.
p.
43.
Goguen, Joseph
Malcolm, Grant
and
Kemp, Tom
2002.
A hidden Herbrand theorem: combining the object and logic paradigms.
The Journal of Logic and Algebraic Programming,
Vol. 51,
Issue. 1,
p.
1.
Goguen, J.
and
Kai Lin
2003.
Behavioral verification of distributed concurrent systems with BOBJ.
p.
216.
Roşu, Grigore
2003.
Inductive Behavioral Proofs by Unhiding.
Electronic Notes in Theoretical Computer Science,
Vol. 82,
Issue. 1,
p.
285.
Roşu, Grigore
2004.
Behavioral abstraction is hiding information.
Theoretical Computer Science,
Vol. 327,
Issue. 1-2,
p.
197.
Meseguer, José
2006.
Algebra, Meaning, and Computation.
Vol. 4060,
Issue. ,
p.
252.
MARTINS, MANUEL A.
and
PIGOZZI, DON
2007.
Behavioural reasoning for conditional equations.
Mathematical Structures in Computer Science,
Vol. 17,
Issue. 5,
p.
1075.