1
Published 2015
Table of Contents: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
View full text
Electronic eBook