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

Research Output 1991 2020

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
Data storage equipment
Memory architecture
Network protocols
102 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