thesisbib.tex

% Bibliography of Thesis
\begin{thebibliography}{Clocksin,Mellish}
\addcontentsline{toc}{chapter}{\numberline{}Bibliography}


\bibitem[Aczel]{Aczel} Peter Aczel, ``An Introduction to Inductive Definitions'', A Handbook of Mathematical Logic, North Holland Company, 1997

\bibitem[Cardelli]{Cardelli} Luca Cardelli, ``ML under UNIX'', Murray Hill, New Jersey 07974, 1984

\bibitem[Clocksin,Mellish]{ClocksinMellish} W.~F.~Clocksin and C.~S.~Mellish, ``Programming in PROLOG'', Springer--Verlag, New York, 1981

\bibitem[Gordon]{Gordon} Michael J.~C.~Gordon, ``The Denotational Description of Programming Languages'', Springer--Verlag, New York, 1979

\bibitem[Hall\"as]{Hallnas} Lars Halln\"as, ``An Intentional Characterization ogf Bisimulations in CCS'', Uppsala University, 1986

\bibitem[Hennessy,Milner]{HennessyMilner} Matthew Hennessy and Robin Milner, ``Algebraic Laws for Nondeterminism and Concurrency'', Journal of the ACM, vol.32 no.1, 1985, pp.137--161

\bibitem[Larsen]{Larsen} Kim Guldstrand Larsen, ``Context-dependent Bisimulation between Processes'', Ph.~D.~Thesis, University of Edinburgh, 1986

\bibitem[Milne,Milner]{MilneMilner} G.~Milne and R.~Milner, ``Concurrent Processes and their Syntax'', Journal of the ACM, vol.26 no.2, 1979

\bibitem[Milner]{Milner} Robin Milner, ``A Calculus of Communicating Systems'', Lecture Notes in Computer Science, nr.92

\bibitem[Paulson]{Paulson} Lawrence Paulson, ``A Compiler Generator for Semantic Grammars'', a dissertation submitted to Department of Computer Science and the Committe on graduate Studies of Standford University in partial fulfilment of the requirements for the degree of Doctor of Philosophy, 1981

\bibitem[Prasad]{Prasad} K.~V.~S.~Prasad, ``Specifications and Proof of a Simple Fault Tolerant System in CCS'', Internal Report, University of Edinburgh, 1984

\bibitem[Plotkin]{Plotkin} Gordon D.~Plotkin, ``A structural approach to operational semantics'', Aarhus University, DIAMI FN--19, September 1981

\bibitem[Tanenbaum]{Tanenbaum} A.~S.~Tanenbaum, ``Computer Networks'', Prentice--Hall, Inc., Englewood Cliffs, New York, 1981

\bibitem[Vestmar,Olesen]{VestmarOlesen} Karsten Vestmar and J\o rgen Olesen, ``Specifikation og Implementering af Fuldautomatisk Verifikationsv\ae rkt\o j Baseret p\aa\ en Operationel Semantik'', Master Thesis, Aalborg University Centre, 1986



\end{thebibliography}