Limit Search Results
Author
Language
Format
Material Type
Subject
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00MAIN
Print
1. 
Cover image for Abstract computing machines : a lambda calculus perspective
2. 
Cover image for Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems