If you made any changes in Pure these will be visible here soon.

Research Output 1991 2020

Filter
Book
Book
108 Downloads (Pure)

Concurrency Verification: Introduction to Compositional and Noncompositional Methods

de Roever, W-P., de Boer, F., Hanneman, U., Hooman, J., Lakhneche, Y., Poel, M. & Zwiers, J., 2001, Cambridge, UK: Cambridge University Press. 776 p. (Cambridge Tracts in Theoretical Computer Science; vol. 54)

Research output: Book/ReportBookAcademic

Open Access
File
12 Downloads (Pure)

Verifying Sequentially Consistent Memory

Brinksma, E., Davies, J., Gerth, R., Graf, S., Janssen, W., Jonsson, B., Katz, S., Lowe, G., Poel, M., Pnueli, A., Rump, C. & Zwiers, J., 1994, Eindhoven: Technische Universiteit Eindhoven, Wiskunde & Informatica. 160 p. (Computing Science Report; no. 94/44)

Research output: Book/ReportBookProfessional

Open Access
File
Data storage equipment
Memory architecture
Network protocols