Books by Prof. van Rijsberben – Supervisor

15 June, 2005 at 16:01 Leave a comment

Prof. Rijsbergen was my PhD supervisor. Unfortunately, things did not work out very well but there is no denying the genius of the man. The proof of the pudding is that even I cannot understand these theoretical computy sciency books – not completely, anyway…

Modal Logic

Process Algebra

Formal Methods in Artificial Intelligence

Algorithmic Information Theory

The Logic of Typed Feature Structures : With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Basic Proof Theory

Information Flow : The Logic of Distributed Systems

Concurrency verification: introduction to compositional and noncompositional methods

Data Refinement : Model-Oriented Proof Methods and their Comparison

Algebraic Specification of Communication Protocols

[Made with Mozilla Amazon Browser http://mab.mozdev.org]

Advertisements

Entry filed under: Computers/ICT, Glasgow-Travails, News-Media, Projects, Research, WebXP.

Information is Transformation Restoring Linux Boot (through GRUB)

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Trackback this post  |  Subscribe to the comments via RSS Feed


Calendar

June 2005
M T W T F S S
« May   Jul »
 12345
6789101112
13141516171819
20212223242526
27282930  

Tweets


%d bloggers like this: