Web Directory

    Top: Computers: Computer_Science: People: S:

 

Stirling, Colin

  Link Details for: Stirling, Colin
Link Title: Stirling, Colin Open in a new window
Link URL: http://homepages.inf.ed.ac.uk/cps/
Link Details: University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.
Category: Top : Computers : Computer_Science : People : S
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Stirling, Colin