Search ResultsElectronic Resources
Limit Search Results
Author
Material Type
Language
Publication Date
-
Subject
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for Handbook of process algebra
      1. 
      Handbook of process algebra
      by 
      Bergstra, J. A.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444828309
      Format: 
      Excerpt: 
      vertification (Groote, Reniers). Discrete time process algebra and the semantics of SDL (Bergstra, Middelburg
      Cover image for Handbook of network and system administration
      2. 
      Handbook of network and system administration
      by 
      Bergstra, J. A.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444521989
      Format: 
      Excerpt: 
      -Based Projection Semantics (J.A. Bergstra and I. Bethke) -- 7. Models -- 1. Comment (J. Bergstra and M. Burgess