Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Reynolds, John C.
1998.
Definitional Interpreters Revisited.
Higher-Order and Symbolic Computation,
Vol. 11,
Issue. 4,
p.
355.
Huisman, Marieke
and
Jacobs, Bart
2000.
Fundamental Approaches to Software Engineering.
Vol. 1783,
Issue. ,
p.
284.
Thielecke, Hayo
2000.
Programming Languages and Systems.
Vol. 1782,
Issue. ,
p.
397.
Halpern, Joseph Y.
Harper, Robert
Immerman, Neil
Kolaitis, Phokion G.
Vardi, Moshe Y.
and
Vianu, Victor
2001.
On the Unusual Effectiveness of Logic in Computer Science.
Bulletin of Symbolic Logic,
Vol. 7,
Issue. 2,
p.
213.
Rémy, Didier
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
413.
Laird, James
2002.
Programming Languages and Systems.
Vol. 2305,
Issue. ,
p.
133.
Curien, Pierre-Louis
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
123.
López-Fraguas, Francisco Javier
and
Sánchez-Hernández, Jaime
2002.
Functional and Logic Programming.
Vol. 2441,
Issue. ,
p.
212.
Hidalgo-Herrero, Mercedes
and
Ortega-Mallén, Yolanda
2003.
Programming Languages and Systems.
Vol. 2895,
Issue. ,
p.
303.
Colaço, Jean-Louis
and
Pouzet, Marc
2003.
Embedded Software.
Vol. 2855,
Issue. ,
p.
134.
Tosic, P.
and
Gul Agha
2004.
Concurrency vs. sequential interleavings in 1-D threshold cellular automata.
p.
179.
Kossatchev, A. S.
Kutter, P.
and
Posypkin, M. A.
2004.
Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language.
Programming and Computer Software,
Vol. 30,
Issue. 4,
p.
218.
Cengarle, María Victoria
and
Knapp, Alexander
2004.
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness.
Software & Systems Modeling,
Vol. 3,
Issue. 1,
p.
9.
Tosic, Predrag T.
and
Agha, Gul A.
2004.
Cellular Automata.
Vol. 3305,
Issue. ,
p.
861.
Koehler, Jana
and
Hauser, Rainer
2004.
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE.
Vol. 3290,
Issue. ,
p.
121.
Arkoudas, Konstantine
2005.
Simplifying Proofs in Fitch-Style Natural Deduction Systems.
Journal of Automated Reasoning,
Vol. 34,
Issue. 3,
p.
239.
Jeffrey, Alan
and
Rathke, Julian
2005.
Foundations of Software Science and Computational Structures.
Vol. 3441,
Issue. ,
p.
266.
Oancea, Cosmin E.
and
Watt, Stephen M.
2005.
Parametric polymorphism for software component architectures.
ACM SIGPLAN Notices,
Vol. 40,
Issue. 10,
p.
147.
Bohnenkamp, H.
D'Argenio, P.R.
Hermanns, H.
and
Katoen, J.-P.
2006.
MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems.
IEEE Transactions on Software Engineering,
Vol. 32,
Issue. 10,
p.
812.
Jones, Cliff B.
2007.
Domain Modeling and the Duration Calculus.
Vol. 4710,
Issue. ,
p.
177.